remove unnecessary ci runs

OceanGlidersCommunity · Nov 18, 2024 · d5052ae · d5052ae
1 parent 06a2316
commit d5052ae
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 7 deletions.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -5,9 +5,6 @@ on:
   push:
     branches:
       - main
-  release:
-    types:
-      - published
 
 jobs:
   build-docs:
@@ -47,8 +44,7 @@ jobs:
         popd
 
     - name: Deploy
-
-      if: success() && github.event.pull_request.merged
+      if: github.event_name == 'pull_request' && github.event.action == 'closed' && github.event.pull_request.merged == true
       uses: peaceiris/actions-gh-pages@v4
       with:
         github_token: ${{ secrets.GITHUB_TOKEN }}

diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
@@ -2,8 +2,7 @@ name: Tests
 
 on:
   pull_request:
-  push:
-    branches: [main]
+
 
 jobs:
   run:
-Original file line number
+Diff line change
@@ Expand Up / @@ -2,8 +2,7 @@ name: Tests @@
     on:
       pull_request:
-      push:
-        branches: [main]
     jobs:
       run:
@@ Expand Down @@