adding citation file #21

Triggered via push September 18, 2023 20:40

main

Status Success

Total duration 1m 9s

Artifacts 1

tlatools.yml

on: push

Produced during runtime

Name	Size
Pretty Printed TLA+ Specification Expired	147 KB