Skip to content

rename workflow jobs, make test only run on PRs#128

Merged
compscidr merged 1 commit intomainfrom rename-workflowsJun 16, 2023

Commits

Commits on Jun 16, 2023