Workflow checks that PRs are made only when current version ends with -dev If this fails, a commit bumping the version to -dev should be pushed to main branch.
