Skip to content

Update outdated github actions#35

Merged
frederikrothenberger merged 1 commit intomainfrom frederik/bump-ci-actionsJun 17, 2024

Commits

Commits on Jun 14, 2024