{
  "_class" : "hudson.matrix.MatrixRun",
  "actions" : [
    {
      
    },
    {
      "_class" : "hudson.model.CauseAction",
      "causes" : [
        {
          "_class" : "hudson.model.Cause$UpstreamCause",
          "shortDescription" : "Started by upstream project \"main\" build number 4,833",
          "upstreamBuild" : 4833,
          "upstreamProject" : "main",
          "upstreamUrl" : "job/main/"
        }
      ]
    },
    {
      
    },
    {
      "_class" : "hudson.plugins.git.util.BuildData",
      "buildsByBranchName" : {
        "origin/trunk" : {
          "_class" : "hudson.plugins.git.util.Build",
          "buildNumber" : 4833,
          "buildResult" : None,
          "marked" : {
            "SHA1" : "2fddb51397fd5a8fdee8c2a8967316dd4aa94006",
            "branch" : [
              {
                "SHA1" : "2fddb51397fd5a8fdee8c2a8967316dd4aa94006",
                "name" : "origin/trunk"
              }
            ]
          },
          "revision" : {
            "SHA1" : "2fddb51397fd5a8fdee8c2a8967316dd4aa94006",
            "branch" : [
              {
                "SHA1" : "2fddb51397fd5a8fdee8c2a8967316dd4aa94006",
                "name" : "origin/trunk"
              }
            ]
          }
        },
        "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/5.4" : {
          "_class" : "hudson.plugins.git.util.Build",
          "buildNumber" : 4832,
          "buildResult" : None,
          "marked" : {
            "SHA1" : "7e947ea01d5fadbb18367ae081a42400e06808d9",
            "branch" : [
              {
                "SHA1" : "7e947ea01d5fadbb18367ae081a42400e06808d9",
                "name" : "origin/5.4"
              }
            ]
          },
          "revision" : {
            "SHA1" : "7e947ea01d5fadbb18367ae081a42400e06808d9",
            "branch" : [
              {
                "SHA1" : "7e947ea01d5fadbb18367ae081a42400e06808d9",
                "name" : "origin/5.4"
              }
            ]
          }
        },
        "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"
              }
            ]
          }
        }
      },
      "lastBuiltRevision" : {
        "SHA1" : "2fddb51397fd5a8fdee8c2a8967316dd4aa94006",
        "branch" : [
          {
            "SHA1" : "2fddb51397fd5a8fdee8c2a8967316dd4aa94006",
            "name" : "origin/trunk"
          }
        ]
      },
      "remoteUrls" : [
        "https://github.com/ocaml/ocaml"
      ],
      "scmName" : ""
    },
    {
      
    },
    {
      
    },
    {
      
    },
    {
      
    },
    {
      "_class" : "org.jenkinsci.plugins.displayurlapi.actions.RunDisplayAction"
    }
  ],
  "artifacts" : [
    
  ],
  "building" : False,
  "description" : None,
  "displayName" : "false,ocaml-omnios",
  "duration" : 2094175,
  "estimatedDuration" : 2077271,
  "executor" : None,
  "fullDisplayName" : "main » false,ocaml-omnios false,ocaml-omnios",
  "id" : "4833",
  "inProgress" : False,
  "keepLog" : False,
  "number" : 4833,
  "queueId" : 24611,
  "result" : "SUCCESS",
  "timestamp" : 1757482014668,
  "url" : "https://ci.inria.fr/ocaml/view/all/job/main/flambda=false,label=ocaml-omnios/4833/",
  "builtOn" : "ocaml-omnios",
  "changeSet" : {
    "_class" : "hudson.plugins.git.GitChangeSetList",
    "items" : [
      {
        "_class" : "hudson.plugins.git.GitChangeSet",
        "affectedPaths" : [
          "testsuite/tests/typing-warnings/unused_types.ml"
        ],
        "commitId" : "ea0dc273d094c6b9cefbaafaf340d59207b53725",
        "timestamp" : 1757002081000,
        "author" : {
          "absoluteUrl" : "https://ci.inria.fr/ocaml/user/gabriel.scherer",
          "fullName" : "gabriel.scherer"
        },
        "authorEmail" : "gabriel.scherer@gmail.com",
        "comment" : "usage warnings for private constructors: document our intentions in the testsuite\u000a",
        "date" : "2025-09-04 18:08:01 +0200",
        "id" : "ea0dc273d094c6b9cefbaafaf340d59207b53725",
        "msg" : "usage warnings for private constructors: document our intentions in the testsuite",
        "paths" : [
          {
            "editType" : "edit",
            "file" : "testsuite/tests/typing-warnings/unused_types.ml"
          }
        ]
      },
      {
        "_class" : "hudson.plugins.git.GitChangeSet",
        "affectedPaths" : [
          "testsuite/tests/typing-warnings/unused_types.ml",
          "typing/env.ml"
        ],
        "commitId" : "c648c5fb2b16ce1d1ec571db9fb021ac3e148c15",
        "timestamp" : 1757358664000,
        "author" : {
          "absoluteUrl" : "https://ci.inria.fr/ocaml/user/gabriel.scherer",
          "fullName" : "gabriel.scherer"
        },
        "authorEmail" : "gabriel.scherer@gmail.com",
        "comment" : "typing: allow private constructors without usage warnings\u000a\u000aWe would like to allow the use of private variant constructors to\u000abuild 'phantom' types used for GADT indices:\u000a\u000a    type zero = private Zero\u000a    type 'a succ = private Succ\u000a\u000a    type ('a, _) sized_list =\u000a    | Nil : ('a, zero) sized_list\u000a    | Cons : 'a * ('a, 'n) sized_list -> ('a, 'n succ) sized_list\u000a\u000aBefore the present commit, this example would fail with \"unused\u000aconstructors\" warning on Zero and Succ.\u000a\u000a(We still warn on type constructors that are defined as public, and\u000athen exported as private in a signature. But on types that are defined\u000aas private in the implementation, warning that they are not used is\u000anot that useful anyway, because it is impossible to construct them\u000aexcept through the FFI.)\u000a\u000aNote: we could reasonably warn on constructors that are defined as\u000aprivate in the implementation, and then used in pattern-matching (but\u000anever constructed, as constructing them is a type error). But this is\u000aarguably warning about something different, and there is a risk of\u000anegatively affecting existing projects by raising unused-constructor\u000awarnings more often.\u000a\u000aReviewed-by: Florian Angeletti <florian.angeletti@inria.fr>\u000aReviewed-by: Nicolás Ojeda Bär <n.oje.bar@gmail.com>\u000a",
        "date" : "2025-09-08 21:11:04 +0200",
        "id" : "c648c5fb2b16ce1d1ec571db9fb021ac3e148c15",
        "msg" : "typing: allow private constructors without usage warnings",
        "paths" : [
          {
            "editType" : "edit",
            "file" : "testsuite/tests/typing-warnings/unused_types.ml"
          },
          {
            "editType" : "edit",
            "file" : "typing/env.ml"
          }
        ]
      },
      {
        "_class" : "hudson.plugins.git.GitChangeSet",
        "affectedPaths" : [
          "Changes"
        ],
        "commitId" : "6eba56984ab6616530f51996dd7d78f9b56b88f8",
        "timestamp" : 1757358884000,
        "author" : {
          "absoluteUrl" : "https://ci.inria.fr/ocaml/user/gabriel.scherer",
          "fullName" : "gabriel.scherer"
        },
        "authorEmail" : "gabriel.scherer@gmail.com",
        "comment" : "Changes\u000a",
        "date" : "2025-09-08 21:14:44 +0200",
        "id" : "6eba56984ab6616530f51996dd7d78f9b56b88f8",
        "msg" : "Changes",
        "paths" : [
          {
            "editType" : "edit",
            "file" : "Changes"
          }
        ]
      }
    ],
    "kind" : "git"
  },
  "culprits" : [
    {
      "absoluteUrl" : "https://ci.inria.fr/ocaml/user/gabriel.scherer",
      "fullName" : "gabriel.scherer"
    }
  ]
}