Skip to content
Build

fix: actually use new lemma in Rezk.Universal #3184

Sign in to view logs

fix: actually use new lemma in Rezk.Universal

fix: actually use new lemma in Rezk.Universal #3184

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
3m 35s
deploy
1s
3m 36s