Build and Test Dafny Standard Libraries

Avoid java compilation error when user code defines Get in a codatatype #4354

Sign in to view logs

Triggered via pull request January 15, 2025 21:34

olivier-aws

synchronize #6054

olivier-aws:4153-java-compilation-error-when-user-code-defines-get-in-a-codatatype

Status Success

Total duration 20m 5s

Artifacts –

standard-libraries.yml

on: pull_request

check-deep-tests / check-deep-tests