Build and Test Dafny Runtimes

Fix: No more spurious restart needed in the IDE #5807

Sign in to view logs

Triggered via pull request December 1, 2023 16:56

MikaelMayer

opened #4834

fix-4833-ide-unstable

Status Success

Total duration 3m 58s

Artifacts –

runtime-tests.yml

on: pull_request

check-deep-tests / check-deep-tests