diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/main.yml | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 6ff95355e6..4b5180bfee 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -31,10 +31,13 @@ jobs: name: check whether CI is enabled for ref run: | enabled=yes - if test -x config-repo/ci/config/allow-ref && - ! config-repo/ci/config/allow-ref '${{ github.ref }}' + if test -x config-repo/ci/config/allow-ref then - enabled=no + echo "::warning::ci/config/allow-ref is deprecated; use CI_BRANCHES instead" + if ! config-repo/ci/config/allow-ref '${{ github.ref }}' + then + enabled=no + fi fi skip_concurrent=yes |