Skip to content

Merge pull request #417 from mkurz/play29 #67

Merge pull request #417 from mkurz/play29

Merge pull request #417 from mkurz/play29 #67

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