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 873af31e21 - Show all commits
+1
View File
@@ -22,6 +22,7 @@ Until now the tests, the builds, the signing and the flashing all happened on on
| Q158 | Reproducible builds aren't needed for signing any more (Q152); not pursued here. | | Q158 | Reproducible builds aren't needed for signing any more (Q152); not pursued here. |
| Q159 | **The tags from before CI get their releases too**, v0.1.0 to v0.10.0, built from each tag's own sources by running the workflow by hand. | | Q159 | **The tags from before CI get their releases too**, v0.1.0 to v0.10.0, built from each tag's own sources by running the workflow by hand. |
| Q160 | Actions is switched on for the repository. | | Q160 | Actions is switched on for the repository. |
| Q161 | **Changes reach `main` through pull requests, merged as "rebase, then a merge commit"**, the only style the repository allows: the branch's commits keep their messages, the merge commit marks the pull request, and what CI tested is what lands. No squash, no fast-forward. |
### As built ### As built