Skip to content

Merge pull request #942 from mkurz/play29 #81

Merge pull request #942 from mkurz/play29

Merge pull request #942 from mkurz/play29 #81

Triggered via push October 25, 2023 20:17
Status Success
Total duration 1m 24s
Artifacts
Submit dependencies to GitHub
1m 15s
Submit dependencies to GitHub
Fit to window
Zoom out
Zoom in