Job builder
Build 2023-04-17 21:19:42Z
Built on platform ubuntu-18.04
Build took 7min23s.
Execution result: exited 0.
Build info
Build artifacts
bin/builder.deb
SHA256:a770d7742f4731cd5b020fcf56781cea9e5feca2f5be808c636971461022d4c1
(7.2MB)system-packages
SHA256:c95b7cc7022f9fd5233250aaf35d2d2fc02c1d83ee2a3a06f5b4011fd2c21ee0
(5.57kB)build-environment
SHA256:ea3e1937497133c1488d57dbac2397fe6bfe7a2828262fadca10d2ac7988cf21
(349B)opam-switch
SHA256:c46ddff5587a2d2ff6a364ee49d59ca2e66db55cfa4ba8ae08bbe7baa5bbcb9f
(115kB)
Reproduced by 12 builds
- on ubuntu-18.04, same input, 2023-04-16 21:18:11Z
- on ubuntu-18.04, same input, 2023-04-15 21:39:51Z
- on ubuntu-18.04, same input, 2023-04-14 21:19:47Z
- on ubuntu-18.04, same input, 2023-04-13 21:18:09Z
- on ubuntu-18.04, same input, 2023-04-12 21:39:54Z
- on ubuntu-18.04, different input, 2023-05-15 21:40:32Z
- on ubuntu-18.04, different input, 2023-05-14 21:20:06Z
- on ubuntu-18.04, different input, 2023-04-30 21:40:15Z
- on ubuntu-18.04, different input, 2023-04-26 21:19:52Z
- on ubuntu-18.04, different input, 2023-04-24 21:40:05Z
- on ubuntu-18.04, different input, 2023-04-19 21:18:14Z
- on ubuntu-18.04, different input, 2023-04-18 21:39:56Z
Comparisons with other builds on the same platform
- Latest build 2023-11-20 12:38:33Z
- Later build with different output 2023-09-06 10:14:49Z
- Earlier build with different output 2023-04-11 21:19:42Z
?