Skip to content
Build and Test Dafny Standard Libraries

fix: Fix crash when a simple forall statement was placed inside a match #4549

Sign in to view logs

fix: Fix crash when a simple forall statement was placed inside a match

fix: Fix crash when a simple forall statement was placed inside a match #4549

Triggered via pull request February 24, 2025 18:59
@RustanLeinoRustanLeino
synchronize #6121
RustanLeino:issue-6120
Status Success
Total duration 16m 57s
Artifacts –

standard-libraries.yml

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

Annotations

1 warning
check-deep-tests / check-deep-tests
The Ubuntu-20.04 brownout takes place from 2025-02-01. For more details, see https://github.com/actions/runner-images/issues/11101