Job modulectomy

Build 2024-09-09 14:09:08Z

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

Build info

Console output -->

Build script -->

Build artifacts

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

Reproduced by 6 builds

on debian-11, same input, 2024-09-12 14:09:33Z
on debian-11, same input, 2024-09-10 14:42:30Z
on debian-11, same input, 2024-09-08 14:04:24Z
on debian-11, same input, 2024-09-07 14:28:19Z
on debian-11, same input, 2024-09-06 14:09:05Z
on debian-11, different input, 2024-09-05 14:04:23Z

Comparisons with other builds on the same platform

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

?