Skip to content

Actions: tlaplus/Examples

Actions

Check Specs & Metadata

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
CI.yml
389 workflow runs
389 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
Fall back to Apalache v0.52.2 if latest download fails Check Specs & Metadata #1144: Pull request #202 synchronize by lemmy
1h 10m 18s mku-ApalacheDep
mku-ApalacheDep
1h 10m 18s
Fall back to Apalache v0.52.2 if latest download fails Check Specs & Metadata #1143: Pull request #202 opened by lemmy
11m 17s mku-ApalacheDep
mku-ApalacheDep
11m 17s
tlaplus-dispatch Check Specs & Metadata #1142: Repository dispatch triggered by lemmy
1h 10m 42s
1h 10m 42s
tlaplus-dispatch Check Specs & Metadata #1141: Repository dispatch triggered by lemmy
1h 4m 15s
1h 4m 15s
tlaplus-dispatch Check Specs & Metadata #1140: Repository dispatch triggered by lemmy
27m 53s
27m 53s
tlaplus-dispatch Check Specs & Metadata #1139: Repository dispatch triggered by lemmy
58m 56s
58m 56s
tlaplus-dispatch Check Specs & Metadata #1138: Repository dispatch triggered by lemmy
56m 53s
56m 53s
tlaplus-dispatch Check Specs & Metadata #1137: Repository dispatch triggered by lemmy
46m 3s
46m 3s
tlaplus-dispatch Check Specs & Metadata #1136: Repository dispatch triggered by lemmy
51m 13s
51m 13s
tlaplus-dispatch Check Specs & Metadata #1135: Repository dispatch triggered by lemmy
1h 0m 57s
1h 0m 57s
Add Deli Queue Example Check Specs & Metadata #1134: Pull request #201 synchronize by EricSpencer00
56m 5s EricSpencer00:master
EricSpencer00:master
56m 5s
Add Deli Queue Example Check Specs & Metadata #1129: Pull request #201 synchronize by EricSpencer00
12m 31s EricSpencer00:master
EricSpencer00:master
12m 31s
Add Deli Queue Example Check Specs & Metadata #1119: Pull request #201 synchronize by EricSpencer00
1m 15s EricSpencer00:master
EricSpencer00:master
1m 15s
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