Skip to content
TLAi linter

Update EWD998.tla #3

Sign in to view logs

Update EWD998.tla

Update EWD998.tla #3

Re-run triggered March 27, 2024 03:21
@lemmylemmy
#128
kuppe:patch-1
Status Success
Total duration 14s
Artifacts –

TLAi.yml

on: pull_request
TLAi linter
5s
TLAi linter
Fit to window
Zoom out
Zoom in