Build and Test Dafny Runtimes

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

Sign in to view logs

Triggered via pull request June 24, 2025 09:53

keyboardDrummer

opened #6279

keyboardDrummer:allowAxiomsForVerifyFalseMethods

Status Success

Total duration 7m 3s

Artifacts –

runtime-tests.yml

on: pull_request

check-deep-tests / check-deep-tests