PR #5081 Fix minor issues with GHA workflow

Fix minor issues with GHA workflow #5081

malfet merged 1 commit into master from malfet/fix-issues-with-GHA-workflows

Fix minor issues with GHA workflow

27fee12d

atalman approved these changes on 2023-05-25

jeanschmidt approved these changes on 2023-05-25

malfet merged 9c7d2ade into master 2 years ago

malfet deleted the malfet/fix-issues-with-GHA-workflows branch 2 years ago

Reviewers

jeanschmidt

atalman

Assignees

No one assigned

Labels

None yet

Milestone

No milestone