Job modulectomy

Build 2022-08-23 09:21:45Z

Built on platform debian-10

Build took 11min31s.

Execution result: exited 31.

Build info

Build artifacts

opam-switch
SHA256:61043b6df37333990bba86460927c3537c9c74b39514ad2c8105cd5418e0a849 (43.2kB)
build-environment
SHA256:439f022053e0715c12a9c54ceb794a90b93c51c748d319cb83a5a990f1b36a47 (350B)
system-packages
SHA256:e71c49c878fe0ddf12e8f080e186780330a6ca38249657c31f36beccac074622 (4.24kB)

Reproduced by 0 builds

    Comparisons with other builds on the same platform


    ?