Job modulectomy

Build 2025-05-19 09:13:51Z

Built on platform debian-11

Build took 4min26s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/modulectomy.deb

SHA256:e6841aac63100395fc8ca7bdb827526fc5297c33ca399f24cf4901457a8fd06b (1.43MB)

system-packages

SHA256:0db2645a1a0fde908f1b38205ec4db08a6d492c0454ac166980e3ec7644f1347 (4.37kB)

build-environment

SHA256:8051bee623760d148ee802964b65374252d76abd6b4238cbcf67d55de7a92e19 (318B)

opam-switch

SHA256:5a7b3958a7c0054ccffddc3ab5b2c3e77fd7a193c11f07f687521977d28c6a82 (42kB)

Reproduced by 6 builds

• on debian-11, same input, 2025-05-20 09:10:43Z
• on debian-11, same input, 2025-05-18 19:42:13Z
• on debian-11, different input, 2025-05-28 09:14:08Z
• on debian-11, different input, 2025-05-27 09:15:26Z
• on debian-11, different input, 2025-05-24 09:15:00Z
• on debian-11, different input, 2025-05-22 09:13:52Z

Comparisons with other builds on the same platform

• Latest build 2025-06-01 09:10:57Z
• Later build with different output 2025-05-29 09:11:05Z
• Earlier build with different output 2025-03-03 08:59:35Z

?