Job modulectomy

Build 2023-09-18 21:35:17Z

Built on platform debian-10

Build took 6min25s.

Execution result: exited 0.

Build info

Build artifacts

bin/modulectomy.deb: SHA256:b7a6d1239049a9e1dc6c936f3b8948a29fc1d0c26b903961fe9baa8ef9e787e6 (1.61MB)
build-environment: SHA256:439f022053e0715c12a9c54ceb794a90b93c51c748d319cb83a5a990f1b36a47 (350B)
opam-switch: SHA256:0ec7eab256a8bb03700ff2d580fa5b9af94d7ca4369b7e0cc9914d8e10119252 (45.1kB)
system-packages: SHA256:6d603e40ad5e38ca32bfb18a5d6337eec07ab876774d92948910bf2d41e90621 (4.31kB)

Reproduced by 11 builds

on debian-10, same input, 2023-09-25 21:20:35Z
on debian-10, same input, 2023-09-24 21:42:55Z
on debian-10, same input, 2023-09-23 21:21:52Z
on debian-10, same input, 2023-09-22 21:20:32Z
on debian-10, same input, 2023-09-21 21:42:46Z
on debian-10, same input, 2023-09-20 21:36:08Z
on debian-10, same input, 2023-09-19 21:35:12Z
on debian-10, different input, 2023-09-30 21:37:22Z
on debian-10, different input, 2023-09-28 21:20:37Z
on debian-10, different input, 2023-09-17 21:29:17Z
on debian-10, different input, 2023-09-15 21:28:31Z

Comparisons with other builds on the same platform

Latest build 2023-09-30 21:37:22Z
Earlier build with different output 2023-09-13 21:34:43Z

?