Skip to content
Build and Test Dafny Standard Libraries

Check datatype constructors for bad type-parameter instantiations #1839

Sign in to view logs

Check datatype constructors for bad type-parameter instantiations

Check datatype constructors for bad type-parameter instantiations #1839

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-deep-tests / check-deep-tests
9s
build
22m 56s
23m 5s