Job modulectomy
Build 2025-07-05 09:15:55Z
Platform | Duration | Execution Result |
---|---|---|
debian-12 | 4min16s. | exited 0 |
Build info
Build artifacts
bin/modulectomy.deb (1.49MB)
SHA256:efb3a1409381bcbf63b5862420d514e0fe7f6451f8d500838f784f455dc9306f
system-packages (4.4kB)
SHA256:f0b32394b7ee8457b903b454ee8536abedfff59d3bbef60913cd2787060aa81c
build-environment (318B)
SHA256:8fd2b1ae0df9102c8caf10c152c403a3a16dcc9e32e1e7d984eedb46569c6ea9
opam-switch (42.1kB)
SHA256:ba9bf23f871b9dafa8dbbebaf9b7a76cca340d804de8a3a6a3c884724f792409
Reproduced by 0 builds
Comparisons with other builds on the same platform
- Earlier build with different output 2025-07-04 09:05:57Z
?