Skip to content

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

Count hand-run scripts and the ruleset export as documentation in the CI

745c256
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
sign-off
succeeded Oct 5, 2026 in 3s