Job modulectomy
Build 2022-11-30 09:55:09Z
Built on platform debian-10
Build took 13min41s.
Execution result: exited 0.
Build info
Build artifacts
bin/modulectomy.deb
SHA256:c287e9b842c0da073be1dbb582d051450b97a68e16e42b991fe3d95b373691e0
(1.42MB)opam-switch
SHA256:bdbb2ecf58a5be53740c09e409d3c2fe6f37484dfe29eb7af732a5ad45e45a7e
(44.2kB)build-environment
SHA256:439f022053e0715c12a9c54ceb794a90b93c51c748d319cb83a5a990f1b36a47
(350B)system-packages
SHA256:73f01dfae30509facc044444d76695b49cca566f0d849a18840f9b79f1e73f63
(4.25kB)
Reproduced by 9 builds
- on debian-10, same input, 2022-11-29 11:46:51Z
- on debian-10, same input, 2022-11-28 11:06:57Z
- on debian-10, same input, 2022-11-27 09:58:30Z
- on debian-10, same input, 2022-11-26 11:50:46Z
- 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-12-13 10:25:59Z
- on debian-10, different input, 2022-11-25 10:59:01Z
- on debian-10, different input, 2022-11-19 11:00:06Z
Comparisons with other builds on the same platform
- Latest build 2024-05-09 11:53:40Z
- Later build with different output 2022-12-17 11:48:23Z
- Earlier build with different output 2022-11-16 11:06:29Z
?