* Autoremove label when workflow is triggered. #3

HeisenbugLtd · Jun 11, 2020 · 66f38d5 · 66f38d5
1 parent 5f2d1b1
commit 66f38d5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/proof-events.yaml b/.github/workflows/proof-events.yaml
@@ -24,7 +24,7 @@ jobs:
             });
 
   build:
-    if: never() # contains(github.event.label.name, 'run_proof')
+    if: False # contains(github.event.label.name, 'run_proof')
     name: Proof on ${{ matrix.tag }} ${{ matrix.year }}
     runs-on: ubuntu-latest