Skip to content

Merge pull request #714 from mkurz/update/patches #39

Merge pull request #714 from mkurz/update/patches

Merge pull request #714 from mkurz/update/patches #39

Triggered via push November 17, 2023 23:30
Status Failure
Total duration 1m 2s
Artifacts
Submit dependencies to GitHub
53s
Submit dependencies to GitHub
Fit to window
Zoom out
Zoom in