{
  "_class" : "hudson.model.FreeStyleBuild",
  "actions" : [
    {
      "_class" : "hudson.model.CauseAction",
      "causes" : [
        {
          "_class" : "com.cloudbees.jenkins.GitHubPushCause",
          "shortDescription" : "Started by GitHub push by gasche"
        }
      ]
    },
    {
      
    },
    {
      
    },
    {
      "_class" : "hudson.plugins.git.util.BuildData",
      "buildsByBranchName" : {
        "origin/trunk" : {
          "_class" : "hudson.plugins.git.util.Build",
          "buildNumber" : 145,
          "buildResult" : None,
          "marked" : {
            "SHA1" : "84c87bb8f12fccba22ace728dc1a8e3413014518",
            "branch" : [
              {
                "SHA1" : "84c87bb8f12fccba22ace728dc1a8e3413014518",
                "name" : "origin/trunk"
              }
            ]
          },
          "revision" : {
            "SHA1" : "84c87bb8f12fccba22ace728dc1a8e3413014518",
            "branch" : [
              {
                "SHA1" : "84c87bb8f12fccba22ace728dc1a8e3413014518",
                "name" : "origin/trunk"
              }
            ]
          }
        }
      },
      "lastBuiltRevision" : {
        "SHA1" : "84c87bb8f12fccba22ace728dc1a8e3413014518",
        "branch" : [
          {
            "SHA1" : "84c87bb8f12fccba22ace728dc1a8e3413014518",
            "name" : "origin/trunk"
          }
        ]
      },
      "remoteUrls" : [
        "https://github.com/ocaml/ocaml"
      ],
      "scmName" : ""
    },
    {
      "_class" : "hudson.plugins.git.GitTagAction"
    },
    {
      
    },
    {
      
    },
    {
      
    },
    {
      "_class" : "org.jenkinsci.plugins.displayurlapi.actions.RunDisplayAction"
    }
  ],
  "artifacts" : [
    
  ],
  "building" : False,
  "description" : None,
  "displayName" : "#145",
  "duration" : 2415231,
  "estimatedDuration" : 2534434,
  "executor" : None,
  "fullDisplayName" : "Risc-V-legacy #145",
  "id" : "145",
  "inProgress" : False,
  "keepLog" : False,
  "number" : 145,
  "queueId" : 51577,
  "result" : "SUCCESS",
  "timestamp" : 1591269399775,
  "url" : "https://ci.inria.fr/ocaml/view/all/job/Risc-V-legacy/145/",
  "builtOn" : "olive",
  "changeSet" : {
    "_class" : "hudson.plugins.git.GitChangeSetList",
    "items" : [
      {
        "_class" : "hudson.plugins.git.GitChangeSet",
        "affectedPaths" : [
          "testsuite/tests/typing-modules/merge_constraint.ml"
        ],
        "commitId" : "45248a7602d977a8e012ae9a1e37f8e3908ea915",
        "timestamp" : 1591187592000,
        "author" : {
          "absoluteUrl" : "https://ci.inria.fr/ocaml/user/gabriel.scherer",
          "fullName" : "gabriel.scherer"
        },
        "authorEmail" : "gabriel.scherer@gmail.com",
        "comment" : "add a testcase for 'with type <lhs> = <rhs>' scoping\u000a",
        "date" : "2020-06-03 14:33:12 +0200",
        "id" : "45248a7602d977a8e012ae9a1e37f8e3908ea915",
        "msg" : "add a testcase for 'with type <lhs> = <rhs>' scoping",
        "paths" : [
          {
            "editType" : "add",
            "file" : "testsuite/tests/typing-modules/merge_constraint.ml"
          }
        ]
      },
      {
        "_class" : "hudson.plugins.git.GitChangeSet",
        "affectedPaths" : [
          "Changes",
          "typing/typedecl.ml",
          "typing/typemod.ml",
          "typing/typedecl.mli",
          "testsuite/tests/typing-modules/merge_constraint.ml"
        ],
        "commitId" : "7068266b32b9bb27d35af3cb881a6caa062f8672",
        "timestamp" : 1591187630000,
        "author" : {
          "absoluteUrl" : "https://ci.inria.fr/ocaml/user/gabriel.scherer",
          "fullName" : "gabriel.scherer"
        },
        "authorEmail" : "gabriel.scherer@gmail.com",
        "comment" : "Typemod.merge_constraint: be careful about the typing environments\u000a\u000aThis PR fixes an old bug in the interaction between [merge_constraint]\u000aand [Typedecl.transl_with_constraint], where\u000avariance (and now separability) are recomputed in an invalid type\u000aenvironment. See #9624 and the new tests.\u000a",
        "date" : "2020-06-03 14:33:50 +0200",
        "id" : "7068266b32b9bb27d35af3cb881a6caa062f8672",
        "msg" : "Typemod.merge_constraint: be careful about the typing environments",
        "paths" : [
          {
            "editType" : "edit",
            "file" : "Changes"
          },
          {
            "editType" : "edit",
            "file" : "typing/typemod.ml"
          },
          {
            "editType" : "edit",
            "file" : "typing/typedecl.mli"
          },
          {
            "editType" : "edit",
            "file" : "typing/typedecl.ml"
          },
          {
            "editType" : "edit",
            "file" : "testsuite/tests/typing-modules/merge_constraint.ml"
          }
        ]
      },
      {
        "_class" : "hudson.plugins.git.GitChangeSet",
        "affectedPaths" : [
          "testsuite/tests/typing-sigsubst/sigsubst.ml",
          "typing/typemod.ml",
          "testsuite/tests/typing-modules/merge_constraint.ml"
        ],
        "commitId" : "8b2f64c2ce121bc5b188a878447a87eb20f0a306",
        "timestamp" : 1591187635000,
        "author" : {
          "absoluteUrl" : "https://ci.inria.fr/ocaml/user/gabriel.scherer",
          "fullName" : "gabriel.scherer"
        },
        "authorEmail" : "gabriel.scherer@gmail.com",
        "comment" : "Typemod.merge_constraint: fix computation of the signature environment\u000a\u000a(suggested by Leo White and Jacques Garrigue)\u000a",
        "date" : "2020-06-03 14:33:55 +0200",
        "id" : "8b2f64c2ce121bc5b188a878447a87eb20f0a306",
        "msg" : "Typemod.merge_constraint: fix computation of the signature environment",
        "paths" : [
          {
            "editType" : "edit",
            "file" : "testsuite/tests/typing-modules/merge_constraint.ml"
          },
          {
            "editType" : "edit",
            "file" : "testsuite/tests/typing-sigsubst/sigsubst.ml"
          },
          {
            "editType" : "edit",
            "file" : "typing/typemod.ml"
          }
        ]
      }
    ],
    "kind" : "git"
  },
  "culprits" : [
    {
      "absoluteUrl" : "https://ci.inria.fr/ocaml/user/gabriel.scherer",
      "fullName" : "gabriel.scherer"
    }
  ]
}