Job modulectomy
Build 2022-08-24 08:05:06Z
Built on platform debian-10
Build took 13min42s.
Execution result: exited 31.
Build info
Build artifacts
opam-switch
SHA256:82bf3558975c1fc1bbef1fa59262d9b67d207592dc01ef504df953293efa2ab7
(42.9kB)build-environment
SHA256:439f022053e0715c12a9c54ceb794a90b93c51c748d319cb83a5a990f1b36a47
(350B)system-packages
SHA256:e71c49c878fe0ddf12e8f080e186780330a6ca38249657c31f36beccac074622
(4.24kB)
Reproduced by 0 builds
Comparisons with other builds on the same platform
- Latest build 2024-05-04 12:01:33Z
?