{
  "_class" : "hudson.matrix.MatrixRun",
  "actions" : [
    {
      
    },
    {
      "_class" : "hudson.model.CauseAction",
      "causes" : [
        {
          "_class" : "hudson.model.Cause$UpstreamCause",
          "shortDescription" : "Started by upstream project \"parallel-build\" build number 5,424",
          "upstreamBuild" : 5424,
          "upstreamProject" : "parallel-build",
          "upstreamUrl" : "job/parallel-build/"
        }
      ]
    },
    {
      
    },
    {
      "_class" : "hudson.plugins.git.util.BuildData",
      "buildsByBranchName" : {
        "origin/trunk" : {
          "_class" : "hudson.plugins.git.util.Build",
          "buildNumber" : 5424,
          "buildResult" : None,
          "marked" : {
            "SHA1" : "db07943df6e3d1fb33ea13b77b5af1cba8597f0c",
            "branch" : [
              {
                "SHA1" : "db07943df6e3d1fb33ea13b77b5af1cba8597f0c",
                "name" : "origin/trunk"
              }
            ]
          },
          "revision" : {
            "SHA1" : "db07943df6e3d1fb33ea13b77b5af1cba8597f0c",
            "branch" : [
              {
                "SHA1" : "db07943df6e3d1fb33ea13b77b5af1cba8597f0c",
                "name" : "origin/trunk"
              }
            ]
          }
        },
        "origin/4.14" : {
          "_class" : "hudson.plugins.git.util.Build",
          "buildNumber" : 5356,
          "buildResult" : None,
          "marked" : {
            "SHA1" : "8899c05cfc9027e74dfe88c71cc78bac5102e771",
            "branch" : [
              {
                "SHA1" : "8899c05cfc9027e74dfe88c71cc78bac5102e771",
                "name" : "origin/4.14"
              }
            ]
          },
          "revision" : {
            "SHA1" : "8899c05cfc9027e74dfe88c71cc78bac5102e771",
            "branch" : [
              {
                "SHA1" : "8899c05cfc9027e74dfe88c71cc78bac5102e771",
                "name" : "origin/4.14"
              }
            ]
          }
        },
        "origin/5.2" : {
          "_class" : "hudson.plugins.git.util.Build",
          "buildNumber" : 5316,
          "buildResult" : None,
          "marked" : {
            "SHA1" : "da1cc7acd855ae1aaf309f2a11f0f91a953a4377",
            "branch" : [
              {
                "SHA1" : "da1cc7acd855ae1aaf309f2a11f0f91a953a4377",
                "name" : "origin/5.2"
              }
            ]
          },
          "revision" : {
            "SHA1" : "da1cc7acd855ae1aaf309f2a11f0f91a953a4377",
            "branch" : [
              {
                "SHA1" : "da1cc7acd855ae1aaf309f2a11f0f91a953a4377",
                "name" : "origin/5.2"
              }
            ]
          }
        }
      },
      "lastBuiltRevision" : {
        "SHA1" : "db07943df6e3d1fb33ea13b77b5af1cba8597f0c",
        "branch" : [
          {
            "SHA1" : "db07943df6e3d1fb33ea13b77b5af1cba8597f0c",
            "name" : "origin/trunk"
          }
        ]
      },
      "remoteUrls" : [
        "https://github.com/ocaml/ocaml/"
      ],
      "scmName" : ""
    },
    {
      
    },
    {
      
    },
    {
      
    },
    {
      
    },
    {
      "_class" : "org.jenkinsci.plugins.displayurlapi.actions.RunDisplayAction"
    }
  ],
  "artifacts" : [
    
  ],
  "building" : False,
  "description" : None,
  "displayName" : "origin/trunk-#5424",
  "duration" : 487335,
  "estimatedDuration" : 371580,
  "executor" : None,
  "fullDisplayName" : "parallel-build » false,ocaml-manycores origin/trunk-#5424",
  "id" : "5424",
  "inProgress" : False,
  "keepLog" : False,
  "number" : 5424,
  "queueId" : 24012,
  "result" : "SUCCESS",
  "timestamp" : 1756983678942,
  "url" : "https://ci.inria.fr/ocaml/job/parallel-build/flambda=false,label=ocaml-manycores/5424/",
  "builtOn" : "ocaml-manycores",
  "changeSet" : {
    "_class" : "hudson.plugins.git.GitChangeSetList",
    "items" : [
      {
        "_class" : "hudson.plugins.git.GitChangeSet",
        "affectedPaths" : [
          "Changes",
          "typing/includemod.mli",
          "typing/includemod_errorprinter.ml",
          ".depend",
          "testsuite/tests/typing-modules/functors.ml",
          "typing/includemod.ml"
        ],
        "commitId" : "8b1e26db2d9067c62680a0607e9f2f1255f93bde",
        "timestamp" : 1756975488000,
        "author" : {
          "absoluteUrl" : "https://ci.inria.fr/ocaml/user/florian.angeletti@inria.fr",
          "fullName" : "Florian Angeletti"
        },
        "authorEmail" : "florian.angeletti@inria.fr",
        "comment" : "functor error messages: don't forget equality\u000a\u000aHigher-level error messages for functors recompute inclusion checks when\u000atrying to discover more macro-level error messages. For this\u000areconstruction to be accurate, those computations must use the same\u000aenvironment than the one used when detecting the original problem.\u000a\u000aIn particular, this environment must include equalities added during the\u000apairing of types and modules during the signature inclusion test. For\u000ainstance, in\u000a\u000a    module M: sig\u000a       type t\u000a       module F(X:sig val f:t val g:int end): sig end\u000a    end = struct\u000a      type t\u000a      module F(X:sig val f:t val g:float end)= struct end\u000a    end\u000a\u000awe must remember that the interface-side `t` is equal to the\u000aimplementation-side `t`.\u000a\u000aThis part of the inclusion checking environment was ignored before this\u000acommit leading to non-sensical error messages complaining that `t` is\u000anot compatible with `t`.\u000a\u000aThis commit extends the captured environment for errors in signature to\u000ainclude the substitution recording the equalities between items on both\u000aside of the check.\u000a",
        "date" : "2025-09-04 10:44:48 +0200",
        "id" : "8b1e26db2d9067c62680a0607e9f2f1255f93bde",
        "msg" : "functor error messages: don't forget equality",
        "paths" : [
          {
            "editType" : "edit",
            "file" : "typing/includemod.mli"
          },
          {
            "editType" : "edit",
            "file" : "typing/includemod.ml"
          },
          {
            "editType" : "edit",
            "file" : "typing/includemod_errorprinter.ml"
          },
          {
            "editType" : "edit",
            "file" : "Changes"
          },
          {
            "editType" : "edit",
            "file" : ".depend"
          },
          {
            "editType" : "edit",
            "file" : "testsuite/tests/typing-modules/functors.ml"
          }
        ]
      }
    ],
    "kind" : "git"
  },
  "culprits" : [
    {
      "absoluteUrl" : "https://ci.inria.fr/ocaml/user/florian.angeletti@inria.fr",
      "fullName" : "Florian Angeletti"
    }
  ]
}