From 94811ba8e7f4e9366ee440b4d44892c22f22a3e1 Mon Sep 17 00:00:00 2001 From: Guillaume ALLAIS Date: Fri, 30 Jul 2021 15:18:05 +0100 Subject: [PATCH] [ ci ] bring racket builds back A new environment seems to have solved our issue. Cf. actions/virtual-environments#3774 --- .github/workflows/ci-idris2.yml | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) diff --git a/.github/workflows/ci-idris2.yml b/.github/workflows/ci-idris2.yml index 644846e04..24b763206 100644 --- a/.github/workflows/ci-idris2.yml +++ b/.github/workflows/ci-idris2.yml @@ -247,11 +247,9 @@ jobs: needs: quick-check runs-on: ubuntu-latest if: | - false && - (!contains(needs.initialise.outputs.commit_message, '[ci:') - || contains(needs.initialise.outputs.commit_message, '[ci: ubuntu]') - || contains(needs.initialise.outputs.commit_message, '[ci: racket]') - ) + !contains(needs.initialise.outputs.commit_message, '[ci:') + || contains(needs.initialise.outputs.commit_message, '[ci: ubuntu]') + || contains(needs.initialise.outputs.commit_message, '[ci: racket]') env: IDRIS2_CG: racket