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

charts: bump chart version to 0.1.13, with appVersion 0.1.13 #56

Sign in to view logs

charts: bump chart version to 0.1.13, with appVersion 0.1.13

charts: bump chart version to 0.1.13, with appVersion 0.1.13 #56

Triggered via push June 7, 2024 07:32
@ushitora-anqouushitora-anqou
pushed 043daba
master
Status Success
Total duration 14s
Artifacts –

model-check.yaml

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