Skip to content

Actions: tlaplus/Examples

Actions

Check Specs & Metadata

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
CI.yml
420 workflow runs
420 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
tlaplus-dispatch Check Specs & Metadata #1117: Repository dispatch triggered by lemmy
1h 5m 17s
1h 5m 17s
tlaplus-dispatch Check Specs & Metadata #1116: Repository dispatch triggered by lemmy
44m 4s
44m 4s
Add Apalache wrapper for DieHardest Check Specs & Metadata #1115: Commit 9ac1cdc pushed by lemmy
1h 3m 10s master
master
1h 3m 10s
tlaplus-dispatch Check Specs & Metadata #1114: Repository dispatch triggered by lemmy
1h 0m 10s
1h 0m 10s
DieHardest: compare jug configurations via parallel and interleaved self-composition Check Specs & Metadata #1113: Pull request #199 synchronize by lemmy
49m 40s mku-DieHardest
mku-DieHardest
49m 40s
DieHardest: compare jug configurations via parallel and interleaved self-composition Check Specs & Metadata #1112: Pull request #199 synchronize by lemmy
1m 20s mku-DieHardest
mku-DieHardest
1m 20s
DieHardest: compare jug configurations via parallel and interleaved self-composition Check Specs & Metadata #1111: Pull request #199 synchronize by lemmy
1m 4s mku-DieHardest
mku-DieHardest
1m 4s
tlaplus-dispatch Check Specs & Metadata #1110: Repository dispatch triggered by lemmy
1h 1m 43s
1h 1m 43s
tlaplus-dispatch Check Specs & Metadata #1109: Repository dispatch triggered by lemmy
50m 53s
50m 53s
tlaplus-dispatch Check Specs & Metadata #1108: Repository dispatch triggered by lemmy
1h 10m 51s
1h 10m 51s
DieHardest: compare jug configurations via parallel and interleaved self-composition Check Specs & Metadata #1107: Pull request #199 synchronize by lemmy
1h 20m 26s mku-DieHardest
mku-DieHardest
1h 20m 26s
DieHardest: compare jug configurations via parallel and interleaved self-composition Check Specs & Metadata #1106: Pull request #199 synchronize by lemmy
12m 24s mku-DieHardest
mku-DieHardest
12m 24s
tlaplus-dispatch Check Specs & Metadata #1105: Repository dispatch triggered by lemmy
1h 12m 8s
1h 12m 8s
tlaplus-dispatch Check Specs & Metadata #1104: Repository dispatch triggered by lemmy
1h 3m 45s
1h 3m 45s
DieHardest: compare jug configurations via parallel and interleaved self-composition Check Specs & Metadata #1103: Pull request #199 synchronize by lemmy
1h 3m 28s mku-DieHardest
mku-DieHardest
1h 3m 28s
DieHardest: compare jug configurations via parallel and interleaved self-composition Check Specs & Metadata #1102: Pull request #199 synchronize by lemmy
22m 57s mku-DieHardest
mku-DieHardest
22m 57s
DieHardest: compare jug configurations via parallel and interleaved self-composition Check Specs & Metadata #1101: Pull request #199 synchronize by lemmy
55m 24s mku-DieHardest
mku-DieHardest
55m 24s
DieHardest: compare jug configurations via parallel and interleaved self-composition Check Specs & Metadata #1100: Pull request #199 synchronize by lemmy
12m 50s mku-DieHardest
mku-DieHardest
12m 50s
tlaplus-dispatch Check Specs & Metadata #1099: Repository dispatch triggered by lemmy
1h 10m 39s
1h 10m 39s
tlaplus-dispatch Check Specs & Metadata #1098: Repository dispatch triggered by lemmy
1h 6m 9s
1h 6m 9s
tlaplus-dispatch Check Specs & Metadata #1097: Repository dispatch triggered by lemmy
50m 42s
50m 42s
tlaplus-dispatch Check Specs & Metadata #1096: Repository dispatch triggered by lemmy
1h 5m 55s
1h 5m 55s
tlaplus-dispatch Check Specs & Metadata #1095: Repository dispatch triggered by lemmy
24m 4s
24m 4s
tlaplus-dispatch Check Specs & Metadata #1094: Repository dispatch triggered by lemmy
59m 36s
59m 36s
tlaplus-dispatch Check Specs & Metadata #1093: Repository dispatch triggered by lemmy
4m 18s
4m 18s