RSR Anti-Pattern Check

proof(formal): close L3009 admit + 2 reusable region lemmas + chore (… #271

Sign in to view logs

Triggered via push April 27, 2026 12:39

main

Status Success

Total duration 1h 1m 15s

Artifacts –

rsr-antipattern.yml

on: push

antipattern-check