Skip to content
Build and Test

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

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 #20239

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-deep-tests / check-deep-tests
5s
singletons
4m 28s
xunit-tests / populate-matrix-dimensions
1s
integration-tests / populate-matrix-dimensions
1s
xunit-tests / ubuntu-20.04 (1)
12m 40s
xunit-tests / win (1)
17m 4s
xunit-tests / osx (1)
20m 20s
integration-tests / test (ubuntu-20.04, 1)
24m 4s
integration-tests / test (ubuntu-20.04, 2)
23m 36s
integration-tests / test (ubuntu-20.04, 3)
25m 25s
integration-tests / test (ubuntu-20.04, 4)
22m 14s
integration-tests / test (ubuntu-20.04, 5)
25m 41s
test-coverage-analysis
1m 19s
2h 56m 58s