Skip to content

Auto merge of #3092 - RalfJung:ui-test, r=RalfJung #5863

Auto merge of #3092 - RalfJung:ui-test, r=RalfJung

Auto merge of #3092 - RalfJung:ui-test, r=RalfJung #5863

Triggered via push September 28, 2023 14:40
Status Success
Total duration 48m 41s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

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