Skip to content
This repository has been archived by the owner on Sep 28, 2024. It is now read-only.
Perform model checking by NuSMV

chore: use polymorphic variant to represent reconciler states #77

Sign in to view logs

chore: use polymorphic variant to represent reconciler states

chore: use polymorphic variant to represent reconciler states #77

Triggered via push September 15, 2024 12:52
@ushitora-anqouushitora-anqou
pushed aa32488
0.1.15
Status Success
Total duration 18s
Artifacts –

model-check.yaml

on: push
model-check
8s
model-check
Fit to window
Zoom out
Zoom in