Skip to content

Actions: tlaplus/Examples

Actions

TLAi linter

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
TLAi.yml
This workflow was disabled manually.
4 workflow runs
4 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update EWD998.tla TLAi linter #4: Pull request #128 synchronize by kuppe
March 27, 2024 04:04 14s
March 27, 2024 04:04 14s
Update EWD998.tla TLAi linter #3: Pull request #128 synchronize by kuppe
March 27, 2024 03:21 14s kuppe:patch-1
kuppe:patch-1
March 27, 2024 03:21 14s
Update EWD998.tla TLAi linter #2: Pull request #128 synchronize by kuppe
March 27, 2024 03:11 1s kuppe:patch-1
kuppe:patch-1
March 27, 2024 03:11 1s
Update EWD998.tla TLAi linter #1: Pull request #128 reopened by lemmy
March 27, 2024 01:05 Startup failure kuppe:patch-1
kuppe:patch-1
March 27, 2024 01:05 Startup failure