diff options
| author | Joel Challis <git@zvecr.com> | 2020-12-06 12:54:08 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-12-06 12:54:08 +0000 |
| commit | 8d6ad23b096ed2fc4d8fd0e6781fca30b87b343f (patch) | |
| tree | 49f09a6756a88414286f406a06913d1b986640eb /Makefile | |
| parent | a6a12890037c706e67716e28e37432693ba17ace (diff) | |
CI: Add workflow for tagging essential modified files (#7384)
* Add workflow for tagging essential modified files
* Update inline with recent actions
* align rules to labeler
* Update .github/workflows/auto_tag.yaml
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions