Build and Test Dafny Standard Libraries

fix: Correct cast of EnclosingClass #893

Sign in to view logs

Triggered via pull request January 9, 2024 23:56

atomb

synchronize #4954

RustanLeino:fix-4952

Status Success

Total duration 13m 18s

Artifacts –

standard-libraries.yml

on: pull_request

check-deep-tests / check-deep-tests