ci: fetch the ADR citation check from .github instead of keeping a copy - #37

Merged

lesnik512 merged 3 commits into

mainfrom

shared-adr-check

Sep 27, 2026

Commits on Sep 27, 2026

ci: fetch the ADR citation check from .github instead of keeping a copy
lesnik512
committed
63e4956
ci: fetch the ADR check into the repo and run it without the repo's conftests or addopts
lesnik512
committed
8a36422
Merge branch 'main' into shared-adr-check
lesnik512
authored
7eebe76