Commit Graph

1 Commits

Author SHA1 Message Date
George Joseph 10204b9d31 .github: New PR Submit workflows
The workflows that get triggered when PRs are submitted or updated
have been replaced with ones that are more secure and have
a higher level of parallelism.
2023-10-17 12:33:17 -06:00