Skip to content

Proof: one-file change runs only the affected tests - #30

Closed
ankurmans wants to merge 1 commit into
mainfrom
ci/proof-one-file
Closed

Proof: one-file change runs only the affected tests#30
ankurmans wants to merge 1 commit into
mainfrom
ci/proof-one-file

Commits

  1. Commits on Oct 30, 2026