Skip to content

Run CI on PRs / fix tests#131

Merged
davidfischer merged 2 commits intomainfrom
davidfischer/run-ci-on-prs
May 18, 2024

Commits

Commits on May 16, 2024