Skip to content
CI @ devshell

Merge followups #15

Sign in to view logs

Merge followups

Merge followups #15

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

devshell.yml

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