Skip to content

CI: fix name in Jenkinsfile and Jenkins Badge #207

CI: fix name in Jenkinsfile and Jenkins Badge

CI: fix name in Jenkinsfile and Jenkins Badge #207

Triggered via pull request October 31, 2023 16:58
Status Skipped
Total duration 4s
Artifacts
Someone labeled their Pull Request
0s
Someone labeled their Pull Request
Someone labeled their Issue
0s
Someone labeled their Issue
Fit to window
Zoom out
Zoom in