Build and Test Dafny Runtimes

Set options in IDE to more closely match CLI #3927

Sign in to view logs

Triggered via pull request August 7, 2023 17:02

synchronize #4374

atomb:consistent-ide-cli-ru

Status Success

Total duration 4m 20s

Artifacts –

runtime-tests.yml

on: pull_request

check-deep-tests / check-deep-tests