Job modulectomy

Build 2024-07-10 14:14:09Z

Platform	Duration	Execution Result
debian-11	5min16s.	exited 0

Build info

Console output -->

Build script -->

Build artifacts

bin/modulectomy.deb (1.41MB): SHA256:879ceeafb1161995bfb21f9e5ceced727a627e3e3ed1df3425a1b2f685d3a037
system-packages (4.36kB): SHA256:e4992f41d5d7907f651e467e762c3aa07b86ec979b5e8e5a8d214ef39d62d2e6
build-environment (306B): SHA256:3b98f8a602a313b4a9e375f56ac91d8dd31db587cd3542c40bec336f871b15ce
opam-switch (43.9kB): SHA256:9d991f8267fd76349acbb7cf3bc1ba512b525b3e83e0ced0001dfb27a33c44d0

Reproduced by 17 builds

on debian-11, same input, 2024-07-15 13:57:04Z
on debian-11, same input, 2024-07-15 11:12:00Z
on debian-11, same input, 2024-07-13 14:19:39Z
on debian-11, same input, 2024-07-12 17:58:29Z
on debian-11, same input, 2024-07-11 14:50:18Z
on debian-11, same input, 2024-07-09 13:56:59Z
on debian-11, different input, 2024-09-03 14:09:06Z
on debian-11, different input, 2024-09-02 14:04:18Z
on debian-11, different input, 2024-08-30 14:04:15Z
on debian-11, different input, 2024-08-26 14:29:30Z
on debian-11, different input, 2024-08-16 14:02:43Z
on debian-11, different input, 2024-08-12 14:05:47Z
on debian-11, different input, 2024-08-08 14:04:51Z
on debian-11, different input, 2024-08-07 14:25:53Z
on debian-11, different input, 2024-07-31 14:05:45Z
on debian-11, different input, 2024-07-08 14:27:02Z
on debian-11, different input, 2024-06-28 14:13:16Z

Comparisons with other builds on the same platform

Latest build 2025-06-30 09:14:25Z
Later build with different output 2024-09-04 14:29:16Z

?