Merge pull request 'dev' (#3) from dev into main

Reviewed-on: #3

.gitea/workflows/ci.yml

@@ -38,12 +38,3 @@ jobs:
         run: uv sync --group dev
       - name: Run tests
         run: uv run pytest -q
-
-  ci-success:
-    if: always()
-    needs: [lint, test]
-    runs-on: ubuntu-latest
-    steps:
-      - name: Verify all jobs succeeded
-        if: ${{ contains(needs.*.result, 'failure') || contains(needs.*.result, 'cancelled') }}
-        run: exit 1

.github/workflows/ci.yml

@@ -36,12 +36,3 @@ jobs:
         run: uv sync --group dev
       - name: Run tests
         run: uv run pytest -q
-
-  ci-success:
-    if: always()
-    needs: [lint, test]
-    runs-on: ubuntu-latest
-    steps:
-      - name: Verify all jobs succeeded
-        if: ${{ contains(needs.*.result, 'failure') || contains(needs.*.result, 'cancelled') }}
-        run: exit 1