Build and Test Dafny Runtimes

Standard library support verification only #82

Sign in to view logs

Triggered via pull request October 13, 2023 22:21

robin-aws

opened #33

standard-library-support-verification-only

Status Failure

Total duration 1m 46s

Artifacts –

runtime-tests.yml

on: pull_request

check-deep-tests / check-deep-tests

Annotations

1 error

Process completed with exit code 1.