Commit Graph

2 Commits

Author SHA1 Message Date
George Joseph
7524ef6b20 .github: PRSubmitActions: Fix adding reviewers to PR 2023-10-19 09:57:11 -06:00
George Joseph
de391bd8ab .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:32:03 -06:00