From: Luca Heltai Date: Fri, 29 Jan 2021 10:12:22 +0000 (+0100) Subject: Third attempt. X-Git-Tag: v9.3.0-rc1~542^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F11651%2Fhead;p=dealii.git Third attempt. --- diff --git a/.github/workflows/cancelling.yml b/.github/workflows/cancelling.yml index 705334fd4d..8134ce940d 100644 --- a/.github/workflows/cancelling.yml +++ b/.github/workflows/cancelling.yml @@ -17,4 +17,3 @@ jobs: token: ${{ secrets.GITHUB_TOKEN }} sourceRunId: ${{ github.event.workflow_run.id }} notifyPRCancel: true - skipEventTypes: '["push", "schedule"]'