Skip to content

Merge pull request #585 from mkurz/no_version_info_page #50

Merge pull request #585 from mkurz/no_version_info_page

Merge pull request #585 from mkurz/no_version_info_page #50

Triggered via push April 25, 2024 10:10
Status Success
Total duration 45s
Artifacts
Submit dependencies to GitHub
38s
Submit dependencies to GitHub
Fit to window
Zoom out
Zoom in