Skip to content

Merge pull request #7542 from hugovk/add-fedora #937

Merge pull request #7542 from hugovk/add-fedora

Merge pull request #7542 from hugovk/add-fedora #937

Triggered via push November 12, 2023 22:13
Status Skipped
Total duration 6s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention
update_release_draft
0s
update_release_draft
Fit to window
Zoom out
Zoom in