Repository navigation

Exposition Verify

Enable queue validation and independent project metadata #61

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
scope	23s
build-ready	33m 57s
Verify minimal Lean files	6h 0m 39s
	6h 34m 59s