Files
build/.github
ColorfulRhino 5d7637ca0e actions: Don't start build workflow on PR 'reviewer_requested' trigger
The PR build workflow does not need to be started every time a single
reviwer is added, since requesting a review does not change the build.
If the 'Build' label was already added earlier, the build workflow will
have been started already.
2024-06-09 16:30:45 +00:00
..
2021-07-16 21:03:13 -04:00
2020-02-06 22:57:41 +01:00