Job modulectomy

Build 2022-10-03 13:56:05Z

Built on platform debian-10

Build took 15min58s.

Execution result: exited 0.

Build info

Build artifacts

bin/modulectomy.deb: SHA256:4903529a0de1355afe640531af2631306c9e7a04b68bc06e2778cc5f49deb965 (1.42MB)
opam-switch: SHA256:763d348478b3990934b9a80d786c6275711b161c5e460cb18f03ccad0b3efd6a (44kB)
build-environment: SHA256:439f022053e0715c12a9c54ceb794a90b93c51c748d319cb83a5a990f1b36a47 (350B)
system-packages: SHA256:d12fa5a5028ca0630ad4d2679efd3f65ef48f7fea60259bdde22c5c754a8e771 (4.24kB)

Reproduced by 10 builds

on debian-10, same input, 2022-10-02 15:26:35Z
on debian-10, same input, 2022-10-01 14:18:39Z
on debian-10, different input, 2022-10-07 14:34:58Z
on debian-10, different input, 2022-09-30 13:35:08Z
on debian-10, different input, 2022-09-24 13:33:13Z
on debian-10, different input, 2022-09-22 14:40:58Z
on debian-10, different input, 2022-09-15 13:55:15Z
on debian-10, different input, 2022-09-14 15:21:36Z
on debian-10, different input, 2022-09-09 13:55:37Z
on debian-10, different input, 2022-08-29 08:34:38Z

Comparisons with other builds on the same platform

Latest build 2024-05-19 12:01:39Z
Later build with different output 2022-10-25 12:52:06Z
Earlier build with different output 2022-08-24 08:54:35Z

?