Job builder
Build 2023-02-13 14:36:46Z
Built on platform ubuntu-18.04
Build took 8min45s.
Execution result: exited 0.
Build info
Build artifacts
bin/builder.deb
SHA256:9b31caa86463ed7c99767d55f68ed62fe8cb4bd517c83ff1965aa84119b7a37c
(7.38MB)system-packages
SHA256:8071a3e2b05357308dfb6577f363d8ae684a61dde85b4f18f313e724c962b401
(5.6kB)build-environment
SHA256:ea3e1937497133c1488d57dbac2397fe6bfe7a2828262fadca10d2ac7988cf21
(349B)opam-switch
SHA256:11c32eca89d6ff8b7e7a831dd5be38309e09e71286eaa4bffabb0fbec3a60418
(157kB)
Reproduced by 5 builds
- on ubuntu-18.04, same input, 2023-02-12 15:09:04Z
- on ubuntu-18.04, same input, 2023-02-11 14:45:20Z
- on ubuntu-18.04, same input, 2023-02-10 14:43:12Z
- on ubuntu-18.04, different input, 2023-02-09 15:06:45Z
- on ubuntu-18.04, different input, 2023-02-09 09:08:51Z
Comparisons with other builds on the same platform
- Latest build 2023-11-20 12:38:33Z
- Later build with different output 2023-02-14 14:52:02Z
- Earlier build with different output 2023-01-02 05:54:30Z
?