Skip to content

Merge pull request #407 from mkurz/play30 #57

Merge pull request #407 from mkurz/play30

Merge pull request #407 from mkurz/play30 #57

Triggered via push October 18, 2023 22:25
Status Success
Total duration 1m 18s
Artifacts
Submit dependencies to GitHub
1m 9s
Submit dependencies to GitHub
Fit to window
Zoom out
Zoom in