Job modulectomy
Build 2025-08-01 09:09:18Z
Platform | Duration | Execution Result |
---|---|---|
debian-12 | 4min15s. | exited 0 |
Build info
Build artifacts
bin/modulectomy.deb (1.5MB)
SHA256:da21da0d9f8c16dc00679511ff032eaa3705e28065ec982be6a9808b6a374a15
system-packages (4.4kB)
SHA256:c9e2542db4a0b6951c3b39472d1fd2d253272a41a1a4491294da01d9b7734108
build-environment (318B)
SHA256:8fd2b1ae0df9102c8caf10c152c403a3a16dcc9e32e1e7d984eedb46569c6ea9
opam-switch (42.3kB)
SHA256:20ceeb7ac5e158cd168cb752c5490714774ad2b4544e8272557a3a14f56bcd83
Reproduced by 3 builds
- on debian-12, same input, 2025-08-02 09:42:47Z
- on debian-12, same input, 2025-07-31 09:46:52Z
- on debian-12, different input, 2025-07-30 09:27:40Z
Comparisons with other builds on the same platform
- Latest build 2025-08-02 09:42:47Z
- Earlier build with different output 2025-07-28 09:47:09Z
?