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