Job modulectomy
Build 2022-09-22 14:40:58Z
Built on platform debian-10
Build took 15min54s.
Execution result: exited 0.
Build info
Build artifacts
bin/modulectomy.deb
SHA256:4903529a0de1355afe640531af2631306c9e7a04b68bc06e2778cc5f49deb965
(1.42MB)opam-switch
SHA256:763d348478b3990934b9a80d786c6275711b161c5e460cb18f03ccad0b3efd6a
(44kB)build-environment
SHA256:439f022053e0715c12a9c54ceb794a90b93c51c748d319cb83a5a990f1b36a47
(350B)system-packages
SHA256:a459f5f6509a8e414852f2d8dbafed650d7f6c39fe12301b823ce5e188810aae
(4.24kB)
Reproduced by 14 builds
- on debian-10, same input, 2022-09-21 13:55:48Z
- on debian-10, same input, 2022-09-20 15:22:21Z
- on debian-10, same input, 2022-09-19 14:15:57Z
- on debian-10, same input, 2022-09-18 13:33:09Z
- on debian-10, same input, 2022-09-17 14:57:12Z
- on debian-10, same input, 2022-09-16 14:40:04Z
- on debian-10, different input, 2022-10-07 14:34:58Z
- on debian-10, different input, 2022-10-03 13:56:05Z
- on debian-10, different input, 2022-09-30 13:35:08Z
- on debian-10, different input, 2022-09-24 13:33:13Z
- on debian-10, different input, 2022-09-15 13:55:15Z
- on debian-10, different input, 2022-09-14 15:21:36Z
- on debian-10, different input, 2022-09-09 13:55:37Z
- on debian-10, different input, 2022-08-29 08:34:38Z
Comparisons with other builds on the same platform
- Latest build 2024-03-28 11:53:05Z
- Later build with different output 2022-10-25 12:52:06Z
- Earlier build with different output 2022-08-24 08:54:35Z
?