Skip to content
Kind2 CI

Disallow quantification over variables with types containing abstract types #1516

Sign in to view logs

Disallow quantification over variables with types containing abstract types

Disallow quantification over variables with types containing abstract types #1516

Triggered via pull request July 31, 2024 14:34
@lorchroblorchrob
opened #1083
lorchrob:abstract-type-cleanup
Status Success
Total duration 12m 3s
Artifacts –

kind2-ci.yml

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

Annotations

2 warnings
kind2-build (macos-14)
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
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