Build Iris Lean

feat: port `bi/lib/counterexamples.v` (+ fix `IntoWand` instances) #2135

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-math	4m 50s
build	2m 50s
check-stale	6s
report	11s
deploy	0s
	7m 57s