Skip to content

Pin GitHub actions and improve naming of actions#35

Merged
joakimnordling merged 2 commits intomainfrom chore/pin-gh-actionsNov 15, 2023

Commits

Commits on Nov 15, 2023