Build and Test Dafny Standard Libraries

Do not warn about `{:verify false}` on methods when using `--allow-axiom` #5177

Sign in to view logs

Triggered via pull request June 24, 2025 09:53

keyboardDrummer

opened #6279

keyboardDrummer:allowAxiomsForVerifyFalseMethods

Status Success

Total duration 28m 27s

Artifacts –

standard-libraries.yml

on: pull_request

check-deep-tests / check-deep-tests