Build and Test Dafny Standard Libraries

GitHub issue 511 #5

Sign in to view logs

Triggered via pull request October 26, 2023 19:08

robin-aws

synchronize #34

github-issue-511

Status Success

Total duration 3m 26s

Artifacts –

standard-libraries.yml

on: pull_request

check-deep-tests / check-deep-tests