Job modulectomy

Build 2022-11-22 11:05:52Z

Built on platform debian-10

Build took 17min3s.

Execution result: exited 0.

Build info

Build artifacts

bin/modulectomy.deb: SHA256:c287e9b842c0da073be1dbb582d051450b97a68e16e42b991fe3d95b373691e0 (1.42MB)
opam-switch: SHA256:a5491061ab997282c152dffec9e60a27b82f9fa90500507ee14b16a992562b12 (44.1kB)
build-environment: SHA256:439f022053e0715c12a9c54ceb794a90b93c51c748d319cb83a5a990f1b36a47 (350B)
system-packages: SHA256:73f01dfae30509facc044444d76695b49cca566f0d849a18840f9b79f1e73f63 (4.25kB)

Reproduced by 8 builds

on debian-10, same input, 2022-11-25 10:59:01Z
on debian-10, same input, 2022-11-24 09:55:05Z
on debian-10, same input, 2022-11-23 11:44:33Z
on debian-10, different input, 2022-12-16 11:08:57Z
on debian-10, different input, 2022-12-14 11:49:04Z
on debian-10, different input, 2022-11-30 09:55:09Z
on debian-10, different input, 2022-12-13 10:25:59Z
on debian-10, different input, 2022-11-19 11:00:06Z

Comparisons with other builds on the same platform

Latest build 2024-04-25 12:01:21Z
Later build with different output 2022-12-17 11:48:23Z
Earlier build with different output 2022-11-16 11:06:29Z

?