Job modulectomy
Build 2022-11-19 11:00:06Z
Built on platform debian-10
Build took 15min45s.
Execution result: exited 0.
Build info
Build artifacts
bin/modulectomy.deb
SHA256:c287e9b842c0da073be1dbb582d051450b97a68e16e42b991fe3d95b373691e0
(1.42MB)opam-switch
SHA256:dbeb6e1d1b30f06d66d30b88293f61102a193e8cee181a8f6301fa9f2f1d616b
(44.1kB)build-environment
SHA256:439f022053e0715c12a9c54ceb794a90b93c51c748d319cb83a5a990f1b36a47
(350B)system-packages
SHA256:73f01dfae30509facc044444d76695b49cca566f0d849a18840f9b79f1e73f63
(4.25kB)
Reproduced by 7 builds
- on debian-10, same input, 2022-11-18 09:55:00Z
- on debian-10, same input, 2022-11-17 11:48:55Z
- on debian-10, different input, 2022-12-16 11:08:57Z
- on debian-10, different input, 2022-12-14 11:49:04Z
- on debian-10, different input, 2022-11-30 09:55:09Z
- on debian-10, different input, 2022-12-13 10:25:59Z
- on debian-10, different input, 2022-11-25 10:59:01Z
Comparisons with other builds on the same platform
- Latest build 2024-05-10 12:01:43Z
- Later build with different output 2022-12-17 11:48:23Z
- Earlier build with different output 2022-11-16 11:06:29Z
?