Skip to content
Build and Test Dafny Runtimes

Tweak the --progress option and rename the --iterations option #9691

Sign in to view logs

Tweak the --progress option and rename the --iterations option

Tweak the --progress option and rename the --iterations option #9691

Triggered via pull request January 24, 2025 13:15
@keyboardDrummerkeyboardDrummer
opened #6078
keyboardDrummer:progressTweak
Status Failure
Total duration 2m 19s
Artifacts –

runtime-tests.yml

on: pull_request
check-deep-tests  /  check-deep-tests
4s
check-deep-tests / check-deep-tests
build
1m 56s
build
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 1 warning
build: Source/DafnyDriver/CliCompilation.cs#L189
'CommonOptionBag.ProgressLevel' does not contain a definition for 'VerificationJobs'
build: Source/DafnyDriver/CliCompilation.cs#L189
'CommonOptionBag.ProgressLevel' does not contain a definition for 'VerificationJobs'
build
Process completed with exit code 1.
build
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636