Skip to content
CI

Pipe minor changes: diagnostics, flag support and comments #9069

Sign in to view logs

Pipe minor changes: diagnostics, flag support and comments

Pipe minor changes: diagnostics, flag support and comments #9069

Triggered via pull request October 10, 2024 20:08
@RalfJungRalfJung
synchronize #3960
tiif:smallchange
Status Success
Total duration 23m 51s
Artifacts –

ci.yml

on: pull_request
Matrix: build
style checks
2m 35s
style checks
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