Remove pull request trigger from ci workflows

cryptimeleon · Apr 17, 2021 · a95dc69 · a95dc69
1 parent 2b88c00
commit a95dc69
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 8 deletions.
diff --git a/.github/workflows/dev-ci.yaml b/.github/workflows/dev-ci.yaml
@@ -5,9 +5,6 @@ on:
     branches-ignore:
       - main
       - 'release/**'
-  pull_request:
-    branches:
-      - develop
   # Nightly builds to ensure dependencies don't break anything
   schedule:
     - cron: '0 0 * * *'

diff --git a/.github/workflows/release-ci.yaml b/.github/workflows/release-ci.yaml
@@ -5,10 +5,6 @@ on:
     branches:
       - main
       - 'release/**'
-  pull_request:
-    branches:
-      - main
-      - 'release/**'
   # Nightly builds to ensure dependencies don't break anything
   schedule:
     - cron: '0 0 * * *'
@@ -17,7 +13,7 @@ jobs:
   build:
     runs-on: ubuntu-latest
     steps:
-      - uses:  actions/checkout@v2
+      - uses: actions/checkout@v2
       - name: Set up JDK 1.8
         uses: actions/setup-java@v1
         with: