Lint and format check

docs: updating tla+ spec #1366

Sign in to view logs

Summary
Jobs
- linting
Run details
- Usage
- Workflow file

Triggered via pull request August 19, 2023 17:24

b00f

opened #641

b00f:tla+-update

Status Success

Total duration 5m 54s

Artifacts –

linting.yml

on: pull_request