Job albatross

Build 2023-10-01 12:41:39Z

Built on platform debian-10

Build took 5min18s.

Execution result: exited 40.

Build info

Build artifacts

system-packages
SHA256:5c3cf6a6905c4bde7580981b765f138b281e78fc07026699278c71a1ed7ac118 (4.49kB)
build-environment
SHA256:4621a77bf7a2e61bb2e05fc599d9d43904e62a5ee3241bb3a46056cd45a97e14 (348B)
opam-switch
SHA256:88b2c4258dd6c4887342d6ba5f198e467b9378d7ddd6808207fb35c2c8896c58 (123kB)

Reproduced by 0 builds

    Comparisons with other builds on the same platform


    ?