Skip to content
CI @ devshell

Merge followups #12

Sign in to view logs

Merge followups

Merge followups #12

Triggered via pull request May 17, 2024 09:53
@MrAnnoMrAnno
synchronize #92
merge-followups
Status Success
Total duration 12m 59s
Artifacts –

devshell.yml

on: pull_request
distcheck
7m 17s
distcheck
style-check
2m 2s
style-check
copyright-check
2m 1s
copyright-check
commits-check
33s
commits-check
Matrix: general
Fit to window
Zoom out
Zoom in