Build and Test Dafny Standard Libraries

fix: Correct cast of EnclosingClass #866

Sign in to view logs

Re-run triggered January 9, 2024 11:47

keyboardDrummer

#4954

RustanLeino:fix-4952

Status Success

Total duration 16m 8s

Artifacts –

standard-libraries.yml

on: pull_request

check-deep-tests / check-deep-tests