Job modulectomy

Build 2025-08-28 09:11:02Z

PlatformDurationExecution Result
debian-114min28s.exited 0

Build info

Build artifacts

bin/modulectomy.deb (1.44MB)
SHA256:08d16d35322f35b5166667d472c7888b385e763df78c5cf5a29103a51f741425
system-packages (4.37kB)
SHA256:b0ca6d997127d56124be98901c155dba27865cb1eee0593c652a029042b0d0e9
build-environment (318B)
SHA256:8051bee623760d148ee802964b65374252d76abd6b4238cbcf67d55de7a92e19
opam-switch (42.3kB)
SHA256:589c816e236ce677ad9dc802eb1e4be505e07eea23b5b61ff3bbf5b20775e5a2

Reproduced by 2 builds

Comparisons with other builds on the same platform


?