Build and Test Dafny Runtimes

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

Sign in to view logs

Triggered via pull request January 15, 2025 17:43

olivier-aws

synchronize #6054

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

Status Success

Total duration 5m 8s

Artifacts –

runtime-tests.yml

on: pull_request

check-deep-tests / check-deep-tests

Annotations

1 warning

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636