Build and Test Dafny Runtimes

Standard library support verification only #85

Sign in to view logs

Triggered via pull request October 13, 2023 23:23

robin-aws

synchronize #33

standard-library-support-verification-only

Status Failure

Total duration 1m 53s

Artifacts –

runtime-tests.yml

on: pull_request

check-deep-tests / check-deep-tests

Annotations

1 error

Process completed with exit code 1.