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

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

integration-tests / test (ubuntu-20.04, 5)
succeeded Feb 12, 2025 in 25m 41s