Disable the PR post build workflow, temporarily.

vgvassilev · May 26, 2021 · 9992d01 · 9992d01
1 parent a872929
commit 9992d01
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/postci.yml b/.github/workflows/postci.yml
@@ -7,6 +7,7 @@ on:
 jobs:
   knowall:
     runs-on: ubuntu-latest
+    if: false # Disable temporary the workflow.
     if: >
       ${{ github.event.workflow_run.event == 'pull_request'}}
     steps: