Changes ci to work with a develop branch#178

Merged

joerivrij merged 1 commit intomasterfrom feature/develop-branch

Jun 12, 2023

+2-1

Commits on Jun 12, 2023

Changes ci to work with a develop branch
joerivrij
committed