Skip to content
Build and Test Dafny Standard Libraries

[DRAFT] Do not generate import of modules in Java #3

Sign in to view logs

[DRAFT] Do not generate import of modules in Java

[DRAFT] Do not generate import of modules in Java #3

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-deep-tests / check-deep-tests
3s
build
16m 59s
17m 2s