docs: updating tla+ spec #504

Sign in to view logs

Triggered via pull request August 20, 2023 07:44

themantre

synchronize #641

Status Success

Total duration 12s

Artifacts –

semantic-pr.yml

on: pull_request_target

Validate PR title