Skip to content

Merge CI hotfix in main → develop#4

Merged
blue-monk merged 2 commits intodevelopfrom
main
Oct 7, 2021
Merged

Merge CI hotfix in main → develop#4
blue-monk merged 2 commits intodevelopfrom
main

Conversation

@blue-monk
Copy link
Copy Markdown
Owner

  • coverage-badge1.0.2 seems to have dropped support for Python2, so switched to using 1.0.1
  • added workflow_dispatch trigger to allow a manual run of GitHub actions workflows

@blue-monk blue-monk merged commit 2383a36 into develop Oct 7, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant