Job modulectomy
Build 2022-12-14 11:49:04Z
Built on platform debian-10
Build took 18min42s.
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:7d4036d6b06c792e8d87c8e2b1f3d7b24b0e50257da475cbae19f5aa1289816f
(4.25kB)
Reproduced by 5 builds
- on debian-10, different input, 2022-12-16 11:08:57Z
- 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
- 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
?