Skip to content

Merge pull request #5026 from deining/bump-gitHub-workflows #1993

Merge pull request #5026 from deining/bump-gitHub-workflows

Merge pull request #5026 from deining/bump-gitHub-workflows #1993

Triggered via push November 9, 2023 15:42
Status Success
Total duration 16s
Artifacts
draft-release
6s
draft-release
Fit to window
Zoom out
Zoom in