Skip to content

Auto merge of #2931 - max-heller:issue-2881, r=RalfJung #6103

Auto merge of #2931 - max-heller:issue-2881, r=RalfJung

Auto merge of #2931 - max-heller:issue-2881, r=RalfJung #6103

Triggered via push November 12, 2023 15:33
Status Success
Total duration 32m 16s
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