Skip to content
Kind2 CI

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

Sign in to view logs

Add support for realizability checks for non-imported nodes

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

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