adding simulation with tlc to ci #26

Triggered via push September 29, 2023 07:51

main

Status Success

Total duration 10m 9s

Artifacts 1

tlatools.yml

on: push

Produced during runtime

Name	Size
Pretty Printed TLA+ Specification Expired	147 KB