Job builder
Build 2022-12-31 11:29:13Z
Built on platform ubuntu-18.04
Build took 24min10s.
Execution result: exited 0.
Build info
Build artifacts
bin/builder.deb
SHA256:5601fd9d8b0e09197f565706e593e206291812689e3a39d2ea1f323caadfa337
(7.38MB)opam-switch
SHA256:e49af48f20d6c4b11acf251aefb45ca15704683d6cc0dedcbc7ee65a68e4edee
(157kB)build-environment
SHA256:ea3e1937497133c1488d57dbac2397fe6bfe7a2828262fadca10d2ac7988cf21
(349B)system-packages
SHA256:22f8b9b6b6862c44a9809293b28265ea2a1825aeca289f469618dbe6d90dd333
(5.6kB)
Reproduced by 4 builds
- on ubuntu-18.04, same input, 2023-01-02 05:54:30Z
- on ubuntu-18.04, same input, 2022-12-30 11:05:34Z
- on ubuntu-18.04, different input, 2022-12-29 10:13:33Z
- on ubuntu-18.04, different input, 2022-12-28 11:33:27Z
Comparisons with other builds on the same platform
- Latest build 2023-11-20 12:38:33Z
- Later build with different output 2023-02-09 09:08:51Z
- Earlier build with different output 2022-12-22 11:53:04Z
?