Update syntax details in readme. · sybila/biodivine-hctl-model-checker@c71446f

Triggered via push November 7, 2024 17:25

ondrej33

syntax_update

Status Success

Total duration 6m 34s

Artifacts 1

build.yml

on: push

Produced during runtime

Name	Size
code-coverage-report	3.39 KB