Enable generating a parsed AST for Dafny, and a deserializer for that #11286
Triggered via pull request
February 12, 2025 12:11
keyboardDrummer
Status
Success
Total duration
14m 42s
Artifacts
–
doc-tests.yml
on: pull_request
check-deep-tests
/
check-deep-tests
4s
doctests
14m 22s