Skip to content
Build and Test Dafny Standard Libraries

Test: Compiled variable names without integer prefixes #1098

Sign in to view logs

Test: Compiled variable names without integer prefixes

Test: Compiled variable names without integer prefixes #1098

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-deep-tests / check-deep-tests
8s
build
0s
8s