Skip to content

Add the proof-runner prototype: run a pull request's proof kit from a Roam page - #26

Open
sid597 wants to merge 39 commits into
mainfrom
proof-runner
Open

Add the proof-runner prototype: run a pull request's proof kit from a Roam page#26
sid597 wants to merge 39 commits into
mainfrom
proof-runner

Sync: a flagged case can't pass while you write; Leave out with a rea…

3544177
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar