updating citation file #23

Triggered via push September 18, 2023 20:44

main

Status Success

Total duration 1m 14s

Artifacts 1

tlatools.yml

on: push

Produced during runtime

Name	Size
Pretty Printed TLA+ Specification Expired	147 KB