fix github script failure (nim-lang#20006)

* yaml * pub * redo * let's comment * now action * newly * code name * build * ready * remove submodule * build * modify name * fix * rephrase * trigger when PR is merged * fix CI failure
FedericoCeratto · Jul 30, 2022 · 662b397 · 662b397
1 parent 912e5e1
commit 662b397
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/workflows/ci_publish.yml b/.github/workflows/ci_publish.yml
@@ -1,13 +1,13 @@
 name: Tracking orc-booting compiler memory usage
 
 on:
-  push:
-    branches:
-      - devel
+  pull_request:
+    types: [closed]
 
 
 jobs:
   build:
+    if: github.event.pull_request.merged == true
     strategy:
       fail-fast: false
       matrix: