Merge remote-tracking branch 'origin/master' into develop

3 years ago · 7311b17875
parent 6550b67005 0f97402d21
commit 7311b17875
1 changed files with 1 additions and 0 deletions
--- a/.github/workflows/auto_tag.yml
+++ b/.github/workflows/auto_tag.yml
@ -11,6 +11,7 @@ on:
    - tests/**/*
    - util/**/*
    - platforms/**/*
+    - builddefs/**/*
    - Makefile
    - '*.mk'