Skip to content

CI: Use new GitHub Action checkout@v3, and drop unused files#10

Merged
olleolleolle merged 2 commits intomainfrom ci-actions-versionJun 8, 2022

Commits