Job modulectomy

Build 2022-09-22 14:40:59Z

Built on platform ubuntu-18.04

Build took 15min37s.

Execution result: exited 0.

Build info

Build artifacts

bin/modulectomy.deb
SHA256:69cfa7ccbb04b9c73840c511abf2a9c10de93f22b05afc118958fa9bb11ed877 (1.38MB)
build-environment
SHA256:42af9373c7ba94328bc39e64f99e76934675d5b7e517b0e3e9a7ceaaeafdf543 (353B)
opam-switch
SHA256:763d348478b3990934b9a80d786c6275711b161c5e460cb18f03ccad0b3efd6a (44kB)
system-packages
SHA256:e023e8014b4bc747b485d08ac088dcce4d92c8a13a1e373439701edbe380374b (5.4kB)

Reproduced by 9 builds

Comparisons with other builds on the same platform


?