Job orb

Build 2025-07-05 09:44:58Z

Platform	Duration	Execution Result
debian-12	4min50s.	exited 0

Build info

Console output -->

Build script -->

Build artifacts

bin/orb.deb (4.73MB): SHA256:3222670bea1acb0d666a3dd79ecd5057a9d4dc2f5c42a3a12f2290998f1466e5
system-packages (4.4kB): SHA256:f0b32394b7ee8457b903b454ee8536abedfff59d3bbef60913cd2787060aa81c
build-environment (310B): SHA256:38240b40fe50ef4a75e103d38befbe69c6adb0234d9b280870d1840fa6f0e3d5
opam-switch (60.4kB): SHA256:bceab06a8182825e4ed1ed60ae7fcad6d261d03a2a609a661d58cef0b72352d4

Reproduced by 0 builds

Comparisons with other builds on the same platform

Earlier build with different output 2025-07-04 09:17:35Z

?