Job builder
Build 2022-08-25 10:41:58Z
Built on platform ubuntu-18.04
Build took 18min34s.
Execution result: exited 0.
Build info
Build artifacts
bin/builder.deb
SHA256:0ba119a791be12b2b2c09c8562d8c9b73fbb8dabaaa341a59419ee4e6e8a8a2a
(6.8MB)build-environment
SHA256:ea3e1937497133c1488d57dbac2397fe6bfe7a2828262fadca10d2ac7988cf21
(349B)opam-switch
SHA256:493c78e6b401014795bd16c3b425f79de08d42f5664685b8dc2608629ce6acb7
(153kB)system-packages
SHA256:e05770c66224b53a967752fc52d34e63d89ff324c769e3a2977e5931438c2fec
(5.48kB)
Reproduced by 4 builds
- on ubuntu-18.04, same input, 2022-08-24 09:56:05Z
- on ubuntu-18.04, same input, 2022-08-23 10:51:07Z
- on ubuntu-18.04, same input, 2022-08-17 10:14:52Z
- on ubuntu-18.04, same input, 2022-08-16 09:40:11Z
Comparisons with other builds on the same platform
- Latest build 2023-11-20 12:38:33Z
- Later build with different output 2022-08-26 09:45:03Z
- Earlier build with different output 2022-08-15 10:43:20Z
?