Skip to content
Kind2 CI

Disallow quantification over variables with types containing abstract types #1521

Sign in to view logs

Disallow quantification over variables with types containing abstract types

Disallow quantification over variables with types containing abstract types #1521

Triggered via pull request August 1, 2024 12:44
@lorchroblorchrob
synchronize #1083
lorchrob:abstract-type-cleanup
Status Success
Total duration 10m 54s
Artifacts –

kind2-ci.yml

on: pull_request
Matrix: kind2-build
Fit to window
Zoom out
Zoom in

Annotations

1 warning
kind2-build (macos-12)
rustup is outdated! To avoid broken installations, as soon as possible please run: brew upgrade Or, if you're OK with a less reliable fix: brew upgrade rustup