diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index 61dee625300e..a9af880284cf 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -241,14 +241,11 @@ jobs: - ${{ github.workspace }}/../../cache/ivy:/root/.ivy2/cache - ${{ github.workspace }}/../../cache/general:/root/.cache if: "github.event_name == 'schedule' && github.repository == 'lampepfl/dotty' - || ( - github.event_name == 'push' - && startsWith(github.event.ref, 'refs/tags/') - ) + || github.event_name == 'push' || ( github.event_name == 'pull_request' && !contains(github.event.pull_request.body, '[skip ci]') - && contains(github.event.pull_request.body, '[test_sbt]') + && !contains(github.event.pull_request.body, '[skip test_sbt]') )" steps: