Skip to content
Build DafnyRef.pdf

feat: Allow forall statements in statement expressions #18835

Sign in to view logs

feat: Allow forall statements in statement expressions

feat: Allow forall statements in statement expressions #18835

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-deep-tests / check-deep-tests
4s
check-deep-tests / check-deep-tests
5s
build-refman
0s
build-refman
0s
9s