Job modulectomy
Build 2022-08-23 08:43:21Z
Built on platform debian-10
Build took 10min41s.
Execution result: exited 31.
Build info
Build artifacts
opam-switch
SHA256:15132eea8fa968b50a7ab9a571e6fd57dbf7e31c4c9eab34b249d28bb7848ba0
(42.2kB)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
?