Skip to content

Enable CI for PR#81

Merged
ClemensElflein merged 1 commit intomainfrom feature/run-ci-on-prApr 27, 2024

Commits

Commits on Apr 26, 2024