{
  "_class" : "hudson.model.FreeStyleBuild",
  "actions" : [
    {
      "_class" : "hudson.model.CauseAction",
      "causes" : [
        {
          "_class" : "com.cloudbees.jenkins.GitHubPushCause",
          "shortDescription" : "Started by GitHub push by xavierleroy"
        }
      ]
    },
    {
      
    },
    {
      
    },
    {
      "_class" : "hudson.plugins.git.util.BuildData",
      "buildsByBranchName" : {
        "origin/trunk" : {
          "_class" : "hudson.plugins.git.util.Build",
          "buildNumber" : 78,
          "buildResult" : None,
          "marked" : {
            "SHA1" : "f2587c1fb1a10548a7c35e931986af0ebecbaef7",
            "branch" : [
              {
                "SHA1" : "f2587c1fb1a10548a7c35e931986af0ebecbaef7",
                "name" : "origin/trunk"
              }
            ]
          },
          "revision" : {
            "SHA1" : "f2587c1fb1a10548a7c35e931986af0ebecbaef7",
            "branch" : [
              {
                "SHA1" : "f2587c1fb1a10548a7c35e931986af0ebecbaef7",
                "name" : "origin/trunk"
              }
            ]
          }
        }
      },
      "lastBuiltRevision" : {
        "SHA1" : "f2587c1fb1a10548a7c35e931986af0ebecbaef7",
        "branch" : [
          {
            "SHA1" : "f2587c1fb1a10548a7c35e931986af0ebecbaef7",
            "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" : "#78",
  "duration" : 2380134,
  "estimatedDuration" : 2534434,
  "executor" : None,
  "fullDisplayName" : "Risc-V-legacy #78",
  "id" : "78",
  "inProgress" : False,
  "keepLog" : False,
  "number" : 78,
  "queueId" : 46257,
  "result" : "SUCCESS",
  "timestamp" : 1588751635934,
  "url" : "https://ci.inria.fr/ocaml/view/all/job/Risc-V-legacy/78/",
  "builtOn" : "olive",
  "changeSet" : {
    "_class" : "hudson.plugins.git.GitChangeSetList",
    "items" : [
      {
        "_class" : "hudson.plugins.git.GitChangeSet",
        "affectedPaths" : [
          "tools/ci/inria/main",
          "tools/ci/inria/extra-checks",
          "tools/ci/inria/bootstrap"
        ],
        "commitId" : "11d0d662ae637663982e46e7c314c1eeb543417a",
        "timestamp" : 1588505363000,
        "author" : {
          "absoluteUrl" : "https://ci.inria.fr/ocaml/user/david.allsopp",
          "fullName" : "david.allsopp"
        },
        "authorEmail" : "david.allsopp@metastack.com",
        "comment" : "Turn on dependency checking on Inria CI\u000a\u000aOnly the \"old school build\" test uses --disable-dependency-generation.\u000aThis is also tested on both Travis and AppVeyor, so we have good release\u000acoverage checking of this option.\u000a",
        "date" : "2020-05-03 12:29:23 +0100",
        "id" : "11d0d662ae637663982e46e7c314c1eeb543417a",
        "msg" : "Turn on dependency checking on Inria CI",
        "paths" : [
          {
            "editType" : "edit",
            "file" : "tools/ci/inria/main"
          },
          {
            "editType" : "edit",
            "file" : "tools/ci/inria/extra-checks"
          },
          {
            "editType" : "edit",
            "file" : "tools/ci/inria/bootstrap"
          }
        ]
      },
      {
        "_class" : "hudson.plugins.git.GitChangeSet",
        "affectedPaths" : [
          "Makefile.common"
        ],
        "commitId" : "e3dffa8a7f77bb730b006d99e1082f15772b7661",
        "timestamp" : 1588516013000,
        "author" : {
          "absoluteUrl" : "https://ci.inria.fr/ocaml/user/david.allsopp",
          "fullName" : "david.allsopp"
        },
        "authorEmail" : "david.allsopp@metastack.com",
        "comment" : "Silence CI warning for undefined variable\u000a",
        "date" : "2020-05-03 15:26:53 +0100",
        "id" : "e3dffa8a7f77bb730b006d99e1082f15772b7661",
        "msg" : "Silence CI warning for undefined variable",
        "paths" : [
          {
            "editType" : "edit",
            "file" : "Makefile.common"
          }
        ]
      },
      {
        "_class" : "hudson.plugins.git.GitChangeSet",
        "affectedPaths" : [
          "Makefile.common"
        ],
        "commitId" : "b3af8ca2a950c3256f6700b388846d26d7439b3a",
        "timestamp" : 1588516034000,
        "author" : {
          "absoluteUrl" : "https://ci.inria.fr/ocaml/user/david.allsopp",
          "fullName" : "david.allsopp"
        },
        "authorEmail" : "david.allsopp@metastack.com",
        "comment" : "Tighten dependencies for C files\u000a\u000aThe $(wildcard *.h) should only be there with\u000a--disable-dependency-generation, since otherwise gcc -MM will be\u000adetermining exactly which header files should be checked.\u000a",
        "date" : "2020-05-03 15:27:14 +0100",
        "id" : "b3af8ca2a950c3256f6700b388846d26d7439b3a",
        "msg" : "Tighten dependencies for C files",
        "paths" : [
          {
            "editType" : "edit",
            "file" : "Makefile.common"
          }
        ]
      },
      {
        "_class" : "hudson.plugins.git.GitChangeSet",
        "affectedPaths" : [
          "runtime/Makefile",
          "otherlibs/systhreads/Makefile"
        ],
        "commitId" : "617522ec9561873644cb4ce3e9e028a3230b906f",
        "timestamp" : 1588518028000,
        "author" : {
          "absoluteUrl" : "https://ci.inria.fr/ocaml/user/david.allsopp",
          "fullName" : "david.allsopp"
        },
        "authorEmail" : "david.allsopp@metastack.com",
        "comment" : "Restore compatibility with GNU make 3.81\u000a\u000aIt's the macOS default installed version still. The dependency generation\u000ainadvertently relies on behaviour introduced in GNU make 3.82 a decade ago.\u000a\u000aThe fix in otherlibs/systhreads/Makefile also corrects missing\u000aNATIVE_CPPFLAGS when generating st_stubs.n.d, so st_stubs.n.o now\u000acorrectly depends on caml/stacks.h instead of caml/stack.h\u000a",
        "date" : "2020-05-03 16:00:28 +0100",
        "id" : "617522ec9561873644cb4ce3e9e028a3230b906f",
        "msg" : "Restore compatibility with GNU make 3.81",
        "paths" : [
          {
            "editType" : "edit",
            "file" : "runtime/Makefile"
          },
          {
            "editType" : "edit",
            "file" : "otherlibs/systhreads/Makefile"
          }
        ]
      },
      {
        "_class" : "hudson.plugins.git.GitChangeSet",
        "affectedPaths" : [
          "runtime/Makefile"
        ],
        "commitId" : "c948b8d051fe0e982ca39674ebbf553d5bee1b7b",
        "timestamp" : 1588518226000,
        "author" : {
          "absoluteUrl" : "https://ci.inria.fr/ocaml/user/david.allsopp",
          "fullName" : "david.allsopp"
        },
        "authorEmail" : "david.allsopp@metastack.com",
        "comment" : "Don't use -MG\u000a\u000aIt's a subtly broken thing to do, as discovered on the ARM workers on\u000aInria's CI.\u000a",
        "date" : "2020-05-03 16:03:46 +0100",
        "id" : "c948b8d051fe0e982ca39674ebbf553d5bee1b7b",
        "msg" : "Don't use -MG",
        "paths" : [
          {
            "editType" : "edit",
            "file" : "runtime/Makefile"
          }
        ]
      },
      {
        "_class" : "hudson.plugins.git.GitChangeSet",
        "affectedPaths" : [
          "runtime/Makefile"
        ],
        "commitId" : "942105f49e3f758a7ee0c1cfe003f7415ec64832",
        "timestamp" : 1588518427000,
        "author" : {
          "absoluteUrl" : "https://ci.inria.fr/ocaml/user/david.allsopp",
          "fullName" : "david.allsopp"
        },
        "authorEmail" : "david.allsopp@metastack.com",
        "comment" : "Remove unneeded $(otherfiles) in runtime/Makefile\u000a\u000aNo longer required, and in fact causing breakages now that -MG isn't used.\u000a",
        "date" : "2020-05-03 16:07:07 +0100",
        "id" : "942105f49e3f758a7ee0c1cfe003f7415ec64832",
        "msg" : "Remove unneeded $(otherfiles) in runtime/Makefile",
        "paths" : [
          {
            "editType" : "edit",
            "file" : "runtime/Makefile"
          }
        ]
      },
      {
        "_class" : "hudson.plugins.git.GitChangeSet",
        "affectedPaths" : [
          "Changes"
        ],
        "commitId" : "312ec987b673be43620f13abf0f25395135e232f",
        "timestamp" : 1588522037000,
        "author" : {
          "absoluteUrl" : "https://ci.inria.fr/ocaml/user/david.allsopp",
          "fullName" : "david.allsopp"
        },
        "authorEmail" : "david.allsopp@metastack.com",
        "comment" : "Update Changes\u000a",
        "date" : "2020-05-03 17:07:17 +0100",
        "id" : "312ec987b673be43620f13abf0f25395135e232f",
        "msg" : "Update Changes",
        "paths" : [
          {
            "editType" : "edit",
            "file" : "Changes"
          }
        ]
      }
    ],
    "kind" : "git"
  },
  "culprits" : [
    {
      "absoluteUrl" : "https://ci.inria.fr/ocaml/user/david.allsopp",
      "fullName" : "david.allsopp"
    }
  ]
}