Skip to content
Build and Test Dafny Runtimes

Type parameters #10458

Sign in to view logs

Type parameters

Type parameters #10458

Triggered via pull request June 26, 2025 12:53
@keyboardDrummerkeyboardDrummer
opened #6284
keyboardDrummer:typeParameters
Status Failure
Total duration 2m 19s
Artifacts –

runtime-tests.yml

on: pull_request
check-deep-tests  /  check-deep-tests
8s
check-deep-tests / check-deep-tests
build
2m 5s
build
Fit to window
Zoom out
Zoom in

Annotations

10 errors
build: Source/DafnyCore/Parser.cs#L2471
The name 'cce' does not exist in the current context
build: Source/DafnyCore/Parser.cs#L2470
The name 'cce' does not exist in the current context
build: Source/DafnyCore/Parser.cs#L2469
The name 'cce' does not exist in the current context
build: Source/DafnyCore/Parser.cs#L2291
The name 'cce' does not exist in the current context
build: Source/DafnyCore/Parser.cs#L1805
The name 'cce' does not exist in the current context
build: Source/DafnyCore/Parser.cs#L1763
The name 'cce' does not exist in the current context
build: Source/DafnyCore/Parser.cs#L1188
The name 'cce' does not exist in the current context
build: Source/DafnyCore/Parser.cs#L1159
The name 'cce' does not exist in the current context
build: Source/DafnyCore/Parser.cs#L1121
The name 'cce' does not exist in the current context
build: Source/DafnyCore/Parser.cs#L752
The name 'cce' does not exist in the current context