Merge pull request #17 from emdgroup/repo/actions_changes

Actions Changes
emdgroup · Dec 1, 2023 · 171824c · 171824c
2 parents c6ee44e + 0696f77
commit 171824c
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 6 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -7,7 +7,6 @@ name: Continuous Integration
 on:
   push:
     branches: main
-    tags: '*'
   pull_request:
     branches: main
   workflow_dispatch:
@@ -25,6 +24,7 @@ jobs:
     name: "Changelog"
     runs-on: ubuntu-latest
     if: ${{ github.event_name == 'pull_request' }}
+    continue-on-error: true
     steps:
       - uses: actions/checkout@v3
       - name: Assert Changelog Edit
@@ -58,7 +58,7 @@ jobs:
           tox -e lint-${{ matrix.py-version.tox }}
 
   typecheck:
-    needs: [changelog, lint]
+    needs: [lint]
     strategy:
       matrix:
         py-version: [ {semantic: '3.11', tox: 'py311'} ]
@@ -76,7 +76,7 @@ jobs:
           tox -e mypy-${{ matrix.py-version.tox }}
 
   audit:
-    needs: [changelog, lint]
+    needs: [lint]
     strategy:
       matrix:
         py-version: [ {semantic: '3.11', tox: 'py311'} ]

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -3,11 +3,10 @@ name: Documentation
 on:
   push:
     branches: main
-  workflow_dispatch:  # Allow manually triggering the workflow
+  workflow_dispatch:
 
 concurrency:
-  group: >-
-    ${{ github.workflow }}
+  group: ${{ github.workflow }}
   cancel-in-progress: true
 
 jobs: