{ "_class" : "hudson.matrix.MatrixBuild", "actions" : [ { "_class" : "hudson.model.CauseAction", "causes" : [ { "_class" : "com.cloudbees.jenkins.GitHubPushCause", "shortDescription" : "Started by GitHub push by Octachron" } ] }, { }, { }, { }, { "_class" : "hudson.plugins.git.util.BuildData", "buildsByBranchName" : { "refs/remotes/origin/4.08" : { "_class" : "hudson.plugins.git.util.Build", "buildNumber" : 1189, "buildResult" : None, "marked" : { "SHA1" : "16ce302ee1d31a4afc932d3dc85173b4988f5218", "branch" : [ { "SHA1" : "16ce302ee1d31a4afc932d3dc85173b4988f5218", "name" : "refs/remotes/origin/4.08" } ] }, "revision" : { "SHA1" : "16ce302ee1d31a4afc932d3dc85173b4988f5218", "branch" : [ { "SHA1" : "16ce302ee1d31a4afc932d3dc85173b4988f5218", "name" : "refs/remotes/origin/4.08" } ] } }, "origin/5.3" : { "_class" : "hudson.plugins.git.util.Build", "buildNumber" : 4785, "buildResult" : None, "marked" : { "SHA1" : "489ecba22f1b1b05b7569f8c6733e0ef14f0e9fc", "branch" : [ { "SHA1" : "489ecba22f1b1b05b7569f8c6733e0ef14f0e9fc", "name" : "origin/5.3" } ] }, "revision" : { "SHA1" : "489ecba22f1b1b05b7569f8c6733e0ef14f0e9fc", "branch" : [ { "SHA1" : "489ecba22f1b1b05b7569f8c6733e0ef14f0e9fc", "name" : "origin/5.3" } ] } }, "origin/5.2" : { "_class" : "hudson.plugins.git.util.Build", "buildNumber" : 4743, "buildResult" : None, "marked" : { "SHA1" : "da1cc7acd855ae1aaf309f2a11f0f91a953a4377", "branch" : [ { "SHA1" : "da1cc7acd855ae1aaf309f2a11f0f91a953a4377", "name" : "origin/5.2" } ] }, "revision" : { "SHA1" : "da1cc7acd855ae1aaf309f2a11f0f91a953a4377", "branch" : [ { "SHA1" : "da1cc7acd855ae1aaf309f2a11f0f91a953a4377", "name" : "origin/5.2" } ] } }, "origin/trunk" : { "_class" : "hudson.plugins.git.util.Build", "buildNumber" : 4818, "buildResult" : None, "marked" : { "SHA1" : "db07943df6e3d1fb33ea13b77b5af1cba8597f0c", "branch" : [ { "SHA1" : "db07943df6e3d1fb33ea13b77b5af1cba8597f0c", "name" : "origin/trunk" } ] }, "revision" : { "SHA1" : "db07943df6e3d1fb33ea13b77b5af1cba8597f0c", "branch" : [ { "SHA1" : "db07943df6e3d1fb33ea13b77b5af1cba8597f0c", "name" : "origin/trunk" } ] } }, "origin/4.07" : { "_class" : "hudson.plugins.git.util.Build", "buildNumber" : 711, "buildResult" : None, "marked" : { "SHA1" : "2fdf8f43333671f4644c08ec4db1ada902bf816c", "branch" : [ { "SHA1" : "2fdf8f43333671f4644c08ec4db1ada902bf816c", "name" : "origin/4.07" } ] }, "revision" : { "SHA1" : "2fdf8f43333671f4644c08ec4db1ada902bf816c", "branch" : [ { "SHA1" : "2fdf8f43333671f4644c08ec4db1ada902bf816c", "name" : "origin/4.07" } ] } }, "origin/5.1" : { "_class" : "hudson.plugins.git.util.Build", "buildNumber" : 4056, "buildResult" : None, "marked" : { "SHA1" : "b2e7c4b7e93abb8faade7396730e59c1922c2e9f", "branch" : [ { "SHA1" : "b2e7c4b7e93abb8faade7396730e59c1922c2e9f", "name" : "origin/5.1" } ] }, "revision" : { "SHA1" : "b2e7c4b7e93abb8faade7396730e59c1922c2e9f", "branch" : [ { "SHA1" : "b2e7c4b7e93abb8faade7396730e59c1922c2e9f", "name" : "origin/5.1" } ] } }, "origin/4.08" : { "_class" : "hudson.plugins.git.util.Build", "buildNumber" : 1713, "buildResult" : None, "marked" : { "SHA1" : "a8271945129217f3cdfca269a9a024536c008714", "branch" : [ { "SHA1" : "a8271945129217f3cdfca269a9a024536c008714", "name" : "origin/4.08" } ] }, "revision" : { "SHA1" : "a8271945129217f3cdfca269a9a024536c008714", "branch" : [ { "SHA1" : "a8271945129217f3cdfca269a9a024536c008714", "name" : "origin/4.08" } ] } }, "origin/5.0" : { "_class" : "hudson.plugins.git.util.Build", "buildNumber" : 4055, "buildResult" : None, "marked" : { "SHA1" : "f953f09a0cde690d825714d491dfc9e89fb345b6", "branch" : [ { "SHA1" : "f953f09a0cde690d825714d491dfc9e89fb345b6", "name" : "origin/5.0" } ] }, "revision" : { "SHA1" : "f953f09a0cde690d825714d491dfc9e89fb345b6", "branch" : [ { "SHA1" : "f953f09a0cde690d825714d491dfc9e89fb345b6", "name" : "origin/5.0" } ] } }, "origin/4.06" : { "_class" : "hudson.plugins.git.util.Build", "buildNumber" : 264, "buildResult" : None, "marked" : { "SHA1" : "6a7a46f00cf7b265c1d3bf19ea8a0736dbff17c1", "branch" : [ { "SHA1" : "6a7a46f00cf7b265c1d3bf19ea8a0736dbff17c1", "name" : "origin/4.06" } ] }, "revision" : { "SHA1" : "6a7a46f00cf7b265c1d3bf19ea8a0736dbff17c1", "branch" : [ { "SHA1" : "6a7a46f00cf7b265c1d3bf19ea8a0736dbff17c1", "name" : "origin/4.06" } ] } }, "origin/4.09" : { "_class" : "hudson.plugins.git.util.Build", "buildNumber" : 1712, "buildResult" : None, "marked" : { "SHA1" : "f01dbfc9cc9a489d3a5a459f082d0bb768330585", "branch" : [ { "SHA1" : "f01dbfc9cc9a489d3a5a459f082d0bb768330585", "name" : "origin/4.09" } ] }, "revision" : { "SHA1" : "f01dbfc9cc9a489d3a5a459f082d0bb768330585", "branch" : [ { "SHA1" : "f01dbfc9cc9a489d3a5a459f082d0bb768330585", "name" : "origin/4.09" } ] } }, "origin/4.10" : { "_class" : "hudson.plugins.git.util.Build", "buildNumber" : 2365, "buildResult" : None, "marked" : { "SHA1" : "e5a730447d349d6361e5f7ed82acee6091fcbf7b", "branch" : [ { "SHA1" : "e5a730447d349d6361e5f7ed82acee6091fcbf7b", "name" : "origin/4.10" } ] }, "revision" : { "SHA1" : "e5a730447d349d6361e5f7ed82acee6091fcbf7b", "branch" : [ { "SHA1" : "e5a730447d349d6361e5f7ed82acee6091fcbf7b", "name" : "origin/4.10" } ] } }, "origin/4.11" : { "_class" : "hudson.plugins.git.util.Build", "buildNumber" : 2841, "buildResult" : None, "marked" : { "SHA1" : "85115a869878ca98ad74d335e41d1e0d0e20d522", "branch" : [ { "SHA1" : "85115a869878ca98ad74d335e41d1e0d0e20d522", "name" : "origin/4.11" } ] }, "revision" : { "SHA1" : "85115a869878ca98ad74d335e41d1e0d0e20d522", "branch" : [ { "SHA1" : "85115a869878ca98ad74d335e41d1e0d0e20d522", "name" : "origin/4.11" } ] } }, "origin/4.14" : { "_class" : "hudson.plugins.git.util.Build", "buildNumber" : 4783, "buildResult" : None, "marked" : { "SHA1" : "8899c05cfc9027e74dfe88c71cc78bac5102e771", "branch" : [ { "SHA1" : "8899c05cfc9027e74dfe88c71cc78bac5102e771", "name" : "origin/4.14" } ] }, "revision" : { "SHA1" : "8899c05cfc9027e74dfe88c71cc78bac5102e771", "branch" : [ { "SHA1" : "8899c05cfc9027e74dfe88c71cc78bac5102e771", "name" : "origin/4.14" } ] } }, "origin/4.12" : { "_class" : "hudson.plugins.git.util.Build", "buildNumber" : 2839, "buildResult" : None, "marked" : { "SHA1" : "77b164c65e7bc8625d0bd79542781952afdd2373", "branch" : [ { "SHA1" : "77b164c65e7bc8625d0bd79542781952afdd2373", "name" : "origin/4.12" } ] }, "revision" : { "SHA1" : "77b164c65e7bc8625d0bd79542781952afdd2373", "branch" : [ { "SHA1" : "77b164c65e7bc8625d0bd79542781952afdd2373", "name" : "origin/4.12" } ] } }, "origin/4.13" : { "_class" : "hudson.plugins.git.util.Build", "buildNumber" : 3525, "buildResult" : None, "marked" : { "SHA1" : "bae30e3bcb85883c6de1f18248c6d293887a1d55", "branch" : [ { "SHA1" : "bae30e3bcb85883c6de1f18248c6d293887a1d55", "name" : "origin/4.13" } ] }, "revision" : { "SHA1" : "bae30e3bcb85883c6de1f18248c6d293887a1d55", "branch" : [ { "SHA1" : "bae30e3bcb85883c6de1f18248c6d293887a1d55", "name" : "origin/4.13" } ] } } }, "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-#4818", "duration" : 7049321, "estimatedDuration" : 9862392, "executor" : None, "fullDisplayName" : "main origin/trunk-#4818", "id" : "4818", "inProgress" : False, "keepLog" : False, "number" : 4818, "queueId" : 24004, "result" : "FAILURE", "timestamp" : 1756983678911, "url" : "https://ci.inria.fr/ocaml/view/all/job/main/4818/", "builtOn" : "ocaml-linux-64", "changeSet" : { "_class" : "hudson.plugins.git.GitChangeSetList", "items" : [ { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "Changes", ".depend", "testsuite/tests/typing-modules/functors.ml", "typing/includemod.mli", "typing/includemod_errorprinter.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" : ".depend" }, { "editType" : "edit", "file" : "testsuite/tests/typing-modules/functors.ml" }, { "editType" : "edit", "file" : "typing/includemod.ml" }, { "editType" : "edit", "file" : "Changes" }, { "editType" : "edit", "file" : "typing/includemod.mli" }, { "editType" : "edit", "file" : "typing/includemod_errorprinter.ml" } ] } ], "kind" : "git" }, "culprits" : [ { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/damien.doligez", "fullName" : "damien.doligez" }, { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/noreply", "fullName" : "noreply" }, { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/florian.angeletti@inria.fr", "fullName" : "Florian Angeletti" }, { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/source", "fullName" : "source" } ], "runs" : [ { "number" : 4818, "url" : "https://ci.inria.fr/ocaml/view/all/job/main/flambda=false,label=ocaml-alpine/4818/" }, { "number" : 4818, "url" : "https://ci.inria.fr/ocaml/view/all/job/main/flambda=false,label=ocaml-arm-32/4818/" }, { "number" : 4818, "url" : "https://ci.inria.fr/ocaml/view/all/job/main/flambda=false,label=ocaml-arm-64/4818/" }, { "number" : 4818, "url" : "https://ci.inria.fr/ocaml/view/all/job/main/flambda=false,label=ocaml-centos-oldest/4818/" }, { "number" : 1469, "url" : "https://ci.inria.fr/ocaml/view/all/job/main/flambda=false,label=ocaml-cygwin-32/1469/" }, { "number" : 1469, "url" : "https://ci.inria.fr/ocaml/view/all/job/main/flambda=false,label=ocaml-cygwin-64/1469/" }, { "number" : 4818, "url" : "https://ci.inria.fr/ocaml/view/all/job/main/flambda=false,label=ocaml-fedora-latest/4818/" }, { "number" : 4818, "url" : "https://ci.inria.fr/ocaml/view/all/job/main/flambda=false,label=ocaml-freebsd-64/4818/" }, { "number" : 4818, "url" : "https://ci.inria.fr/ocaml/view/all/job/main/flambda=false,label=ocaml-linux-32/4818/" }, { "number" : 4818, "url" : "https://ci.inria.fr/ocaml/view/all/job/main/flambda=false,label=ocaml-linux-64/4818/" }, { "number" : 1469, "url" : "https://ci.inria.fr/ocaml/view/all/job/main/flambda=false,label=ocaml-macos-10.12/1469/" }, { "number" : 1469, "url" : "https://ci.inria.fr/ocaml/view/all/job/main/flambda=false,label=ocaml-macos-10.13/1469/" }, { "number" : 1469, "url" : "https://ci.inria.fr/ocaml/view/all/job/main/flambda=false,label=ocaml-macos-10.14/1469/" }, { "number" : 4818, "url" : "https://ci.inria.fr/ocaml/view/all/job/main/flambda=false,label=ocaml-macos-m1/4818/" }, { "number" : 4818, "url" : "https://ci.inria.fr/ocaml/view/all/job/main/flambda=false,label=ocaml-macos-x86/4818/" }, { "number" : 4818, "url" : "https://ci.inria.fr/ocaml/view/all/job/main/flambda=false,label=ocaml-mingw-32/4818/" }, { "number" : 4818, "url" : "https://ci.inria.fr/ocaml/view/all/job/main/flambda=false,label=ocaml-mingw-64/4818/" }, { "number" : 4818, "url" : "https://ci.inria.fr/ocaml/view/all/job/main/flambda=false,label=ocaml-msvc-32/4818/" }, { "number" : 4818, "url" : "https://ci.inria.fr/ocaml/view/all/job/main/flambda=false,label=ocaml-msvc-64/4818/" }, { "number" : 4818, "url" : "https://ci.inria.fr/ocaml/view/all/job/main/flambda=false,label=ocaml-omnios/4818/" }, { "number" : 4818, "url" : "https://ci.inria.fr/ocaml/view/all/job/main/flambda=false,label=ocaml-openbsd-64/4818/" }, { "number" : 4818, "url" : "https://ci.inria.fr/ocaml/view/all/job/main/flambda=false,label=ocaml-ppc-64-be/4818/" }, { "number" : 4818, "url" : "https://ci.inria.fr/ocaml/view/all/job/main/flambda=false,label=ocaml-ppc-64-le/4818/" }, { "number" : 4818, "url" : "https://ci.inria.fr/ocaml/view/all/job/main/flambda=false,label=ocaml-riscv/4818/" }, { "number" : 4818, "url" : "https://ci.inria.fr/ocaml/view/all/job/main/flambda=false,label=ocaml-ubuntu-latest/4818/" }, { "number" : 4818, "url" : "https://ci.inria.fr/ocaml/view/all/job/main/flambda=false,label=ocaml-zsystems/4818/" }, { "number" : 1469, "url" : "https://ci.inria.fr/ocaml/view/all/job/main/flambda=true,label=ocaml-arm-32/1469/" }, { "number" : 1469, "url" : "https://ci.inria.fr/ocaml/view/all/job/main/flambda=true,label=ocaml-arm-64/1469/" }, { "number" : 1469, "url" : "https://ci.inria.fr/ocaml/view/all/job/main/flambda=true,label=ocaml-fedora-latest/1469/" }, { "number" : 1469, "url" : "https://ci.inria.fr/ocaml/view/all/job/main/flambda=true,label=ocaml-freebsd-64/1469/" }, { "number" : 1469, "url" : "https://ci.inria.fr/ocaml/view/all/job/main/flambda=true,label=ocaml-linux-32/1469/" }, { "number" : 1469, "url" : "https://ci.inria.fr/ocaml/view/all/job/main/flambda=true,label=ocaml-linux-64/1469/" }, { "number" : 1469, "url" : "https://ci.inria.fr/ocaml/view/all/job/main/flambda=true,label=ocaml-macos-10.12/1469/" }, { "number" : 1469, "url" : "https://ci.inria.fr/ocaml/view/all/job/main/flambda=true,label=ocaml-macos-10.13/1469/" }, { "number" : 1469, "url" : "https://ci.inria.fr/ocaml/view/all/job/main/flambda=true,label=ocaml-macos-10.14/1469/" }, { "number" : 1469, "url" : "https://ci.inria.fr/ocaml/view/all/job/main/flambda=true,label=ocaml-msvc-32/1469/" }, { "number" : 1469, "url" : "https://ci.inria.fr/ocaml/view/all/job/main/flambda=true,label=ocaml-msvc-64/1469/" }, { "number" : 1469, "url" : "https://ci.inria.fr/ocaml/view/all/job/main/flambda=true,label=ocaml-openbsd-64/1469/" }, { "number" : 1469, "url" : "https://ci.inria.fr/ocaml/view/all/job/main/flambda=true,label=ocaml-ppc-64-le/1469/" }, { "number" : 1469, "url" : "https://ci.inria.fr/ocaml/view/all/job/main/flambda=true,label=ocaml-ubuntu-latest/1469/" }, { "number" : 1469, "url" : "https://ci.inria.fr/ocaml/view/all/job/main/flambda=true,label=ocaml-zsystems/1469/" } ] }