Skip to content

Merge pull request #388 from Gregory-Pereira/version-pin-ubuntu-runner #158

Merge pull request #388 from Gregory-Pereira/version-pin-ubuntu-runner

Merge pull request #388 from Gregory-Pereira/version-pin-ubuntu-runner #158

Triggered via push April 30, 2024 00:20
Status Success
Total duration 24m 11s
Artifacts
mirror-repository
12s
mirror-repository
Fit to window
Zoom out
Zoom in