Skip to content

Auto merge of #3085 - RalfJung:test-norm, r=RalfJung #5850

Auto merge of #3085 - RalfJung:test-norm, r=RalfJung

Auto merge of #3085 - RalfJung:test-norm, r=RalfJung #5850

Triggered via push September 25, 2023 15:48
Status Success
Total duration 55m 14s
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