Skip to content
Kind2 CI

When checking imported node realizability, need both node contract and environment #1444

Sign in to view logs

When checking imported node realizability, need both node contract and environment

When checking imported node realizability, need both node contract and environment #1444

Triggered via pull request May 9, 2024 17:44
@lorchroblorchrob
opened #1070
lorchrob:imp-node-contract-realizability
Status Success
Total duration 9m 56s
Artifacts –

kind2-ci.yml

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