Skip to content

Auto merge of #3610 - marc0246:missing-error-kinds, r=RalfJung #7607

Auto merge of #3610 - marc0246:missing-error-kinds, r=RalfJung

Auto merge of #3610 - marc0246:missing-error-kinds, r=RalfJung #7607

Triggered via push May 20, 2024 05:56
Status Success
Total duration 22m 14s
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