Skip to content
Kind2 CI

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

Sign in to view logs

Add support for realizability checks for non-imported nodes

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

Triggered via pull request April 12, 2024 19:58
@lorchroblorchrob
synchronize #1061
lorchrob:ref-type-realizability
Status Success
Total duration 16m 35s
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!