Closed gtdiehl closed 3 years ago
Given the low number of changes to the repository I feel we can get away with running Workflows with PR merges and commits to main
Pull request recommendations:
Thanks for contributing!
Given the low number of changes to the repository I feel we can get away with running Workflows with PR merges and commits to main
Pull request recommendations:
Thanks for contributing!