Job modulectomy

Build 2024-08-30 14:04:15Z

PlatformDurationExecution Result
debian-114min28s.exited 0

Build info

Build artifacts

bin/modulectomy.deb (1.41MB)
SHA256:879ceeafb1161995bfb21f9e5ceced727a627e3e3ed1df3425a1b2f685d3a037
system-packages (4.37kB)
SHA256:1f9d403bd878d8b5ed734dcfacc3fdb600bf62b041154720b1f15215d530f225
build-environment (318B)
SHA256:8051bee623760d148ee802964b65374252d76abd6b4238cbcf67d55de7a92e19
opam-switch (43.9kB)
SHA256:d034449244a4af3955f4f788d63dff9a6ebf2aa1c428295da202b7962cc3af96

Reproduced by 14 builds

Comparisons with other builds on the same platform


?