Job modulectomy
Build 2022-08-24 08:05:13Z
Built on platform ubuntu-18.04
Build took 14min12s.
Execution result: exited 31.
Build info
Build artifacts
opam-switch
SHA256:82bf3558975c1fc1bbef1fa59262d9b67d207592dc01ef504df953293efa2ab7
(42.9kB)build-environment
SHA256:42af9373c7ba94328bc39e64f99e76934675d5b7e517b0e3e9a7ceaaeafdf543
(353B)system-packages
SHA256:d6f694ca0509b8d79bfca290f090f4061eb033405f319c10f28962ef946ca6a5
(5.4kB)
Reproduced by 0 builds
Comparisons with other builds on the same platform
- Latest build 2023-11-20 13:00:57Z
?