CI: coverage and badges; tests on a push, builds on a pull request #51

Merged
twisla merged 4 commits from coverage into main 2026-10-06 12:39:26 +00:00
Showing only changes of commit 16345ed6b3 - Show all commits
+1 -1
View File
@@ -60,7 +60,7 @@ jobs:
# The README's badges are files on a branch of their own, replaced at each push to main.
- name: Publish the badges
if: github.event_name == 'push' && (github.ref == 'refs/heads/main' || github.ref == 'refs/heads/coverage')
if: github.event_name == 'push' && github.ref == 'refs/heads/main'
env:
GITEA_TOKEN: ${{ secrets.GITEA_TOKEN }}
run: |