Skip to content
Kind2 CI

Add support for realizability checks for non-imported nodes #1410

Sign in to view logs

Add support for realizability checks for non-imported nodes

Add support for realizability checks for non-imported nodes #1410

Triggered via pull request April 12, 2024 16:01
@lorchroblorchrob
synchronize #1061
lorchrob:ref-type-realizability
Status Success
Total duration 10m 2s
Artifacts –

kind2-ci.yml

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

Annotations

2 warnings
kind2-build (macos-14)
darcs has been deprecated because it depends on GHC 8.10 to build!
kind2-build (macos-12)
darcs has been deprecated because it depends on GHC 8.10 to build!