Login

Gogopex/pfr

healthy
master public updated latest build succeeded
1905 checked 0 blocked 0 open last run

Next action Review failed run #8 A recent verifier run failed. Check the command log and run details before queueing more work on top of it.
Blueprints · 1 document latest build #44
Blueprints 1
Nodes 238
Edges 497
Native 0
Imported 1
Imported

PFR

Imported from `blueprint/src/web.tex` using succeeded build job `9`.

leanblueprint 238 nodes 497 edges

Updated

Login to import blueprint artifacts or create native project blueprints.

Keyboard shortcuts