Job modulectomy

Build 2023-02-20 21:35:42Z

Built on platform ubuntu-18.04

Build took 6min20s.

Execution result: exited 0.

Build info

Build artifacts

bin/modulectomy.deb
SHA256:d2da085f71c01c5f82af9abd622f2969914d720e29e2173c948ec0f0168c36a5 (1.52MB)
system-packages
SHA256:80d579d17fbedea462ace52def7c554a3ca3fe1ce379f1f7ec764753a86eb6e9 (5.5kB)
build-environment
SHA256:42af9373c7ba94328bc39e64f99e76934675d5b7e517b0e3e9a7ceaaeafdf543 (353B)
opam-switch
SHA256:4565fd4b5edb05f1c8e43d193bcead2e3595cf2972927af8ae7ae06417e7ddfb (46.1kB)

Reproduced by 4 builds

Comparisons with other builds on the same platform


?