Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Use develop workflow instead of test workflow for tests badge (#676)
The develop workflow is run on merges to main, which is really what we want to track in this badge, rather than arbitrary runs from PRs that might be failing, which is what we're getting now.
- Loading branch information