Skip to content
PR Labels

Improve CI workflow #1

Sign in to view logs

Improve CI workflow

Improve CI workflow #1

Triggered via pull request July 7, 2023 15:02
@marcelveldtmarcelveldt
labeled #744
ci-improvements
Status Success
Total duration 11s
Artifacts –

pr-labels.yaml

on: pull_request
Verify
2s
Verify
Fit to window
Zoom out
Zoom in