fix github script failure (#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
nim-lang · Jul 12, 2022 · d0bae98 · d0bae98
1 parent cf1c149
commit d0bae98
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: