release/0.4.0 #60

Merged
myrmidex merged 30 commits from release/0.4.0 into main 2026-08-16 11:58:52 +02:00
Showing only changes of commit 7c56df3823 - Show all commits

View file

@ -80,6 +80,7 @@ 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 }}