fix(ci): repair corrupted rsr-antipattern.yml from #17#18

hyperpolymath merged 1 commit into

mainhyperpolymath/coq-jr:mainfrom

fix/rsr-antipattern-corruption-2026-05-14hyperpolymath/coq-jr:fix/rsr-antipattern-corruption-2026-05-14Copy head branch name to clipboard