Job builder

Build 2024-08-28 14:26:04Z

Platform	Duration	Execution Result
debian-12	5min34s.	exited 0

Build info

Console output -->

Build script -->

Build artifacts

bin/builder.deb (7.68MB): SHA256:3923571a2e4733b815f69e50145dfad72626e1a0682531051a7859c84b068b05
system-packages (4.36kB): SHA256:6fc6f31c9998d036d42ebff73a1f6653cff4105c763721861dbe1e2eaa9545b1
build-environment (314B): SHA256:628a28e5ead469537fbd9ee8a2e49eb0b44378053762b322606872d2a3062bae
opam-switch (115kB): SHA256:31a108ba7ab97c0bf97677b4ede295515ff6948fc0df89865e991dbf115be577

Reproduced by 2 builds

on debian-12, different input, 2024-08-27 14:09:45Z
on debian-12, different input, 2024-08-26 14:05:24Z

Comparisons with other builds on the same platform

Latest build 2025-07-23 09:39:10Z
Later build with different output 2024-09-05 14:09:58Z
Earlier build with different output 2024-08-25 14:26:07Z

?