Build and Test Dafny Standard Libraries

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

Sign in to view logs

Triggered via pull request June 24, 2025 12:29

keyboardDrummer

synchronize #6279

keyboardDrummer:allowAxiomsForVerifyFalseMethods

Status Success

Total duration 23m 41s

Artifacts –

standard-libraries.yml

on: pull_request

check-deep-tests / check-deep-tests