Build Iris Lean

feat: OFE step-indexing parametrisation, port `algebra/stepindex_finite.v` #2111

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-math	1m 59s
build	1m 5s
check-stale	0s
report	0s
deploy	0s
	3m 4s