Build and Test Dafny Standard Libraries

Feat: @-attributes on top-level declarations #3569

Sign in to view logs

Re-run triggered October 18, 2024 20:33

feat-at-attributes-1

Status Success

Total duration 15m 36s

Artifacts –

standard-libraries.yml

on: pull_request

check-deep-tests / check-deep-tests