Skip to content

proof: append-only gate must reject a modified lock path - #1

Closed
ernestprovo23 wants to merge 1 commit into
mainfrom
proof/modify-existing-lock-path
Closed

proof: append-only gate must reject a modified lock path#1
ernestprovo23 wants to merge 1 commit into
mainfrom
proof/modify-existing-lock-path

proof: modify an existing path under locks/ (must be rejected)

8508289
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar