Skip to content
Test documentation

Enable generating a parsed AST for Dafny, and a deserializer for that #11286

Sign in to view logs

Enable generating a parsed AST for Dafny, and a deserializer for that

Enable generating a parsed AST for Dafny, and a deserializer for that #11286

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-deep-tests / check-deep-tests
4s
doctests
14m 22s
14m 26s