Job modulectomy

Build 2024-09-05 14:04:13Z

Platform	Duration	Execution Result
debian-12	4min25s.	exited 0

Build info

Console output -->

Build script -->

Build artifacts

bin/modulectomy.deb (1.49MB): SHA256:dd21e1256aef7455087afefebd3c897330f78ae00d08bfa9603b1f295d6d737f
system-packages (4.22kB): SHA256:6c3b4d25f9e6d88949bfa705214e139dcf954538340606b4ccd201151ad8adf4
build-environment (318B): SHA256:8fd2b1ae0df9102c8caf10c152c403a3a16dcc9e32e1e7d984eedb46569c6ea9
opam-switch (43.9kB): SHA256:27cddbe8e3bec8a41fb59407e100edf30bc3ef0e4beae84730cb5c9f451b9c49

Reproduced by 2 builds

on debian-12, same input, 2024-09-04 14:28:27Z
on debian-12, different input, 2024-09-12 14:09:22Z

Comparisons with other builds on the same platform

Latest build 2025-11-04 09:12:52Z
Later build with different output 2024-09-13 14:28:09Z
Earlier build with different output 2024-09-03 14:08:42Z

?