robur-coop / builder

Scheduling build jobs on regular intervals, collecting artifacts
ISC License
13 stars 1 forks source link

some bugfixes and adjustments #24

Closed hannesm closed 2 years ago

hannesm commented 2 years ago

see commit messages for further information. //cc @reynir

hannesm commented 2 years ago

and together with https://github.com/roburio/orb/pull/5, build information for failed builds is also gathered and stored (needs the above change in worker.ml to "collect_output tmpdir" on non-zero exit code).