Skip to content

Merge pull request #707 from mkurz/play30 #35

Merge pull request #707 from mkurz/play30

Merge pull request #707 from mkurz/play30 #35

Triggered via push October 26, 2023 23:50
Status Failure
Total duration 1m 44s
Artifacts
Submit dependencies to GitHub
1m 30s
Submit dependencies to GitHub
Fit to window
Zoom out
Zoom in