Job builder-web

Build 2022-07-02 11:47:00Z

Built on platform debian-10

Build took 14min51s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder-web.deb

SHA256:bf6b69d1d1c231a257a50b96791d2c0fcd11556b3cca80c67c89b56427152e0d (12.3MB)

opam-switch

SHA256:2e0eb8620fd396cc2956c0aafeee0fb8dab973e9199a36172d27de1c7238dced (245kB)

build-environment

SHA256:f843d6d0f5bd6ac9ac837080fcb4102311332e06d325dc8ca0cfe7cbd9f51241 (360B)

system-packages

SHA256:eb422bed4222c8481e10423184ed5fb4c455e65d659cd88e4ff537d6e95786f2 (4.46kB)

Reproduced by 4 builds

• on debian-10, same input, 2022-07-03 11:47:01Z
• on debian-10, same input, 2022-07-01 11:46:59Z
• on debian-10, same input, 2022-06-30 11:46:59Z
• on debian-10, different input, 2022-07-04 11:47:02Z

Comparisons with other builds on the same platform

• Latest build 2024-04-23 12:14:38Z
• Later build with different output 2022-07-05 11:47:02Z
• Earlier build with different output 2022-06-29 11:46:58Z

?