Repository navigation

Release through a pull request - #27

Merged

thomasdarimont merged 2 commits into

mainfrom

pull-request-releases

Oct 5, 2026

Merged

Release through a pull request#27
thomasdarimont merged 2 commits into
mainfrom
pull-request-releases

Commits on Oct 5, 2026
- Release through a pull request
  thomasdarimont
  committed
  db44020
- Count hand-run scripts and the ruleset export as documentation in the CI
  thomasdarimont
  committed
  745c256