Skip to content
CI

Added an alternative form for Let { (...) => SubProof(...) } as SubPr… #529

Sign in to view logs

Added an alternative form for Let { (...) => SubProof(...) } as SubPr…

Added an alternative form for Let { (...) => SubProof(...) } as SubPr… #529

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-ubuntu
4m 28s
build-mac
11m 6s
build-windows
5m 31s
21m 5s