Job modulectomy

Build 2026-02-12 09:49:09Z

Platform	Duration	Execution Result
debian-13	4min35s.	exited 0

Build info

Console output -->

Build script -->

Build artifacts

bin/modulectomy.deb (1.53MB): SHA256:4eece232f0c457da70c3bf8e8306207f8c7eb7d9f7afc78fefcb18439087e8e8
opam-switch (42.6kB): SHA256:31d14a54b315879a4eeea3367c2fdac154ff9125caeba2bd81569836cbee55b9
build-environment (318B): SHA256:27bdcb43014ed7a07004df8036d6c182927048d0f9e072e144a7e882749f5559
system-packages (4.2kB): SHA256:e6038a63b5702730d88e255ee67319ce4334b523c96244a7b9eee62693441fd1

Reproduced by 5 builds

on debian-13, same input, 2026-02-11 09:33:14Z
on debian-13, same input, 2026-02-10 10:04:47Z
on debian-13, different input, 2026-02-09 10:10:22Z
on debian-13, different input, 2026-01-27 09:37:27Z
on debian-13, different input, 2026-01-16 09:38:33Z

Comparisons with other builds on the same platform

Earlier build with different output 2026-01-14 09:46:09Z

?