Remove trigger CI on PR #121

jpraynaud · jpraynaud · commit 612272a7c03e · 2022-04-21T15:34:47.000+02:00
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -1,10 +1,7 @@
 name: CI
 
 # do not run workflow twice on PRs
-on:
-  push:
-  pull_request:
-    types: [opened, reopened]
+on: [push]
 
 jobs:
   build-mithril-core:
