Skip to content

Auto merge of #3272 - RalfJung:jobserver, r=RalfJung #6525

Auto merge of #3272 - RalfJung:jobserver, r=RalfJung

Auto merge of #3272 - RalfJung:jobserver, r=RalfJung #6525

Triggered via push January 22, 2024 08:01
Status Success
Total duration 53m 1s
Artifacts

ci.yml

on: push
Matrix: build
bors build finished
0s
bors build finished
bors build finished
0s
bors build finished
cronjob failure notification
0s
cronjob failure notification
Fit to window
Zoom out
Zoom in