Build and Test Dafny Runtimes

Add serialization framework #9798

Sign in to view logs

Triggered via pull request February 19, 2025 09:24

keyboardDrummer

synchronize #6112

keyboardDrummer:serializeDeserializeFramework

Status Success

Total duration 5m 45s

Artifacts –

runtime-tests.yml

on: pull_request

check-deep-tests / check-deep-tests

Annotations

1 warning

check-deep-tests / check-deep-tests

The Ubuntu-20.04 brownout takes place from 2025-02-01. For more details, see https://github.com/actions/runner-images/issues/11101