Skip to content

Merge pull request #169 from mkurz/prefixes_prs #27

Merge pull request #169 from mkurz/prefixes_prs

Merge pull request #169 from mkurz/prefixes_prs #27

Triggered via push April 28, 2024 08:31
Status Success
Total duration 32s
Artifacts
Submit dependencies to GitHub
24s
Submit dependencies to GitHub
Fit to window
Zoom out
Zoom in