Job builder
Build 2023-02-25 21:19:01Z
Built on platform ubuntu-18.04
Build took 8min26s.
Execution result: exited 0.
Build info
Build artifacts
bin/builder.deb
SHA256:ad1c249fb43b682b976f3233fbc7616d7a0ee3a76185b8ae10a17b2ef39e444a
(7.3MB)build-environment
SHA256:ea3e1937497133c1488d57dbac2397fe6bfe7a2828262fadca10d2ac7988cf21
(349B)opam-switch
SHA256:2271ddb5beb14cb5c5b1444d0cc25f5d4b2b976a983cf3d017924507134169ca
(135kB)system-packages
SHA256:0e98efc239b4c359cc7e205d9fe204f6872095944c52b6bd2c7fa6b1cb9c8fa0
(5.59kB)
Reproduced by 6 builds
- on ubuntu-18.04, same input, 2023-02-26 21:39:20Z
- on ubuntu-18.04, same input, 2023-02-24 21:17:27Z
- on ubuntu-18.04, same input, 2023-02-23 21:39:26Z
- on ubuntu-18.04, same input, 2023-02-22 21:25:49Z
- on ubuntu-18.04, same input, 2023-02-21 21:24:13Z
- on ubuntu-18.04, different input, 2023-02-20 21:43:47Z
Comparisons with other builds on the same platform
- Latest build 2023-05-15 21:40:32Z
- Later build with different output 2023-04-11 12:36:56Z
- Earlier build with different output 2023-02-19 21:32:11Z
?