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

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

Note in edge-cache that the file stays free of imports

098c5d2
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar