Job modulectomy

Build 2024-09-04 14:29:16Z

Platform	Duration	Execution Result
debian-11	4min11s.	exited 0

Build info

Console output -->

Build script -->

Build artifacts

bin/modulectomy.deb (1.43MB): SHA256:26718130d79a98409038baf81e6a2f5c4d490f3d078b744c0c658d21c674d857
system-packages (4.37kB): SHA256:9b4d85e8ff48af2586c0aafc07b19145e708778cba1d53a1cf05e089ac3228d2
build-environment (318B): SHA256:8051bee623760d148ee802964b65374252d76abd6b4238cbcf67d55de7a92e19
opam-switch (43.9kB): SHA256:27cddbe8e3bec8a41fb59407e100edf30bc3ef0e4beae84730cb5c9f451b9c49

Reproduced by 2 builds

on debian-11, same input, 2024-09-05 14:04:23Z
on debian-11, different input, 2024-09-12 14:09:33Z

Comparisons with other builds on the same platform

Latest build 2025-06-30 09:14:25Z
Later build with different output 2024-09-13 14:28:47Z
Earlier build with different output 2024-09-03 14:09:06Z

?