diff options
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/push.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml index ec2d10431..5ccca9a90 100644 --- a/.github/workflows/push.yml +++ b/.github/workflows/push.yml @@ -113,7 +113,7 @@ jobs: - name: '🧰 Checkout' uses: actions/checkout@v2 - - run: TASK=buster+mcode ./scripts/ci-run.sh -c --gpl --no-synth + - run: TASK=buster+mcode ./scripts/ci-run.sh -c --gplcompat # # GNU/Linux |