linting

GEOS-DEV · Mar 18, 2024 · 0b2e30b · 0b2e30b
1 parent 787c5a2
commit 0b2e30b
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 51 deletions.
diff --git a/.github/workflows/ci_tests.yml b/.github/workflows/ci_tests.yml
@@ -5,7 +5,7 @@ on:
     branches: 
       - develop
   pull_request:
-    types: [edited]
+    types: [opened, synchronize, reopened, edited]
   workflow_dispatch:
 
 # Cancels in-progress workflows for a PR when updated
@@ -17,7 +17,6 @@ concurrency:
 
 jobs:
   semantic_pull_request:    
-    if: ${{ github.event.action }} == 'edited'
     permissions:
       pull-requests: write  # for amannn/action-semantic-pull-request to analyze PRs and 
       statuses: write  # for amannn/action-semantic-pull-request to mark status of analyzed PR

diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml