Build and Test Dafny Runtimes

Standard library support verification only #83

Sign in to view logs

Triggered via pull request October 13, 2023 22:26

robin-aws

synchronize #33

standard-library-support-verification-only

Status Failure

Total duration 1m 56s

Artifacts –

runtime-tests.yml

on: pull_request

check-deep-tests / check-deep-tests

Annotations

1 error

Process completed with exit code 1.