Skip to content

Simplify ci workflow#31

Merged
MattijsKneppers merged 1 commit intomainfrom mkp-fix-ciJun 17, 2024

Commits

Commits on Jun 17, 2024