Skip to content

Fix tests for GitHub actions#9

Merged
andreas-stuerz merged 10 commits intomasterfrom fix_tests_for_github_actionsJan 20, 2023

Commits

Commits on Jan 20, 2023