Merge pull request 'v0.3.0' (#45 ) from release/0.3.0 into main

Reviewed-on: #45
2026-05-09 15:08:37 +02:00
1 changed files with 0 additions and 1 deletions
--- a/.forgejo/workflows/ci.yml
+++ b/.forgejo/workflows/ci.yml
@ -80,7 +80,6 @@ jobs:

      - name: Comment coverage on PR
        if: github.event_name == 'pull_request'
-        continue-on-error: true
        env:
          FORGEJO_TOKEN: ${{ secrets.FORGEJO_TOKEN }}
          PR_NUMBER: ${{ github.event.pull_request.number }}