Skip to content

Upgrade github actions pipeline from template#112

Merged
soerenmartius merged 1 commit intomainfrom soerenmartius/update-github-actionsMar 7, 2022

Commits

Commits on Mar 5, 2022