Skip to content
Back to pull request #6102

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

integration-tests  /  test (ubuntu-20.04, 1)

integration-tests / test (ubuntu-20.04, 1)
succeeded Feb 12, 2025 in 24m 4s