Build and Test Dafny Runtimes

feat: Allow forall statements in statement expressions #9022

Sign in to view logs

Triggered via pull request November 7, 2024 18:27

RustanLeino

synchronize #5894

RustanLeino:forall-stmt-in-expr

Status Success

Total duration 4m 56s

Artifacts –

runtime-tests.yml

on: pull_request

check-deep-tests / check-deep-tests