Skip to content
Spec Liveness Check

fix(spec): undoable names the written set, not patch alone #16268

Sign in to view logs

fix(spec): undoable names the written set, not patch alone

fix(spec): undoable names the written set, not patch alone #16268

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Spec property liveness
44s
44s