Build Iris Lean

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-math	4m 23s
build	33s
check-stale	10s
report	7s
deploy	0s
	5m 13s