Skip to content
Build and Test Dafny Runtimes

Can call merge #9317

Sign in to view logs

Can call merge

Can call merge #9317

Triggered via pull request December 12, 2024 16:08
@typerSnipertyperSniper
synchronize #5977
typerSniper:can-call-merge
Status Failure
Total duration 2m 24s
Artifacts –

runtime-tests.yml

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

Annotations

3 errors and 1 warning
build: Source/DafnyCore/AST/Expressions/Expression.cs#L178
The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)
build: Source/DafnyCore/AST/Expressions/Expression.cs#L178
The type or namespace name 'IToken' could not be found (are you missing a using directive or an assembly reference?)
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