Back to pull request #3391

Merge branch 'master' into gui-cwd #9258

Sign in to view logs

Triggered via push August 6, 2024 14:24

rakow

gui-cwd

Status Success

Total duration 52m 33s

Artifacts –

verify-push.yaml

on: push

Matrix: build

Matrix: verify-all-jobs-successful