Build and Test Dafny Standard Libraries

Resolved a crash that would occur when using a match statement inside… #3037

Sign in to view logs

Triggered via pull request August 7, 2024 12:29

keyboardDrummer

opened #5672

keyboardDrummer:matchInAssertBy

Status Success

Total duration 17m 7s

Artifacts –

standard-libraries.yml

on: pull_request

check-deep-tests / check-deep-tests