Job modulectomy

Build 2025-07-09 09:14:44Z

PlatformDurationExecution Result
debian-114min22s.exited 0

Build info

Build artifacts

bin/modulectomy.deb (1.43MB)
SHA256:735080752feb94b6c10b51b157efa215960aa632477257475385a657f819b70e
system-packages (4.37kB)
SHA256:2099c2cea1630d03257b72237158dcea6f107ed287d9bb8a83cea0618b2fb577
build-environment (318B)
SHA256:8051bee623760d148ee802964b65374252d76abd6b4238cbcf67d55de7a92e19
opam-switch (42.1kB)
SHA256:ba9bf23f871b9dafa8dbbebaf9b7a76cca340d804de8a3a6a3c884724f792409

Reproduced by 4 builds

Comparisons with other builds on the same platform


?