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
TLCMC: non-strict BFS, BFS level tracking, state constraints, and refinement to MCReachability. Check Specs & Metadata #1169: Pull request #204 synchronize by lemmy
2m 55s mku-TLCMultipleWorkers
mku-TLCMultipleWorkers
2m 55s
TLCMC: non-strict BFS, BFS level tracking, state constraints, and refinement to MCReachability. Check Specs & Metadata #1168: Pull request #204 synchronize by lemmy
3m 19s mku-TLCMultipleWorkers
mku-TLCMultipleWorkers
3m 19s
TLCMC: non-strict BFS, BFS level tracking, state constraints, and refinement to MCReachability. Check Specs & Metadata #1167: Pull request #204 synchronize by lemmy
1h 8m 56s mku-TLCMultipleWorkers
mku-TLCMultipleWorkers
1h 8m 56s
TLCMC: non-strict BFS, BFS level tracking, state constraints, and refinement to MCReachability. Check Specs & Metadata #1166: Pull request #204 synchronize by lemmy
2m 30s mku-TLCMultipleWorkers
mku-TLCMultipleWorkers
2m 30s
tlaplus-dispatch Check Specs & Metadata #1165: Repository dispatch triggered by lemmy
1h 8m 11s
1h 8m 11s
tlaplus-dispatch Check Specs & Metadata #1164: Repository dispatch triggered by lemmy
18m 24s
18m 24s
tlaplus-dispatch Check Specs & Metadata #1163: Repository dispatch triggered by lemmy
58m 15s
58m 15s
tlaplus-dispatch Check Specs & Metadata #1162: Repository dispatch triggered by lemmy
1h 4m 24s
1h 4m 24s
TLCMC: non-strict BFS, BFS level tracking, state constraints, and refinement to MCReachability. Check Specs & Metadata #1161: Pull request #204 synchronize by lemmy
1h 8m 9s mku-TLCMultipleWorkers
mku-TLCMultipleWorkers
1h 8m 9s
TLCMC: non-strict BFS, BFS level tracking, state constraints, and refinement to MCReachability. Check Specs & Metadata #1160: Pull request #204 synchronize by lemmy
57m 56s mku-TLCMultipleWorkers
mku-TLCMultipleWorkers
57m 56s
TLCMC: non-strict BFS, BFS level tracking, state constraints, and refinement to MCReachability. Check Specs & Metadata #1159: Pull request #204 opened by lemmy
9m 19s mku-TLCMultipleWorkers
mku-TLCMultipleWorkers
9m 19s
tlaplus-dispatch Check Specs & Metadata #1158: Repository dispatch triggered by lemmy
57m 20s
57m 20s
tlaplus-dispatch Check Specs & Metadata #1157: Repository dispatch triggered by lemmy
54m 35s
54m 35s
tlaplus-dispatch Check Specs & Metadata #1156: Repository dispatch triggered by lemmy
1h 7m 27s
1h 7m 27s
tlaplus-dispatch Check Specs & Metadata #1155: Repository dispatch triggered by lemmy
54m 13s
54m 13s
Change loop step from 'l' to '1' in pseudo code comment of Bakery.tla Check Specs & Metadata #1154: Commit dc6470a pushed by lemmy
1h 5m 10s master
master
1h 5m 10s
Change loop step from 'l' to '1' in pseudo code comment of Bakery.tla Check Specs & Metadata #1153: Pull request #203 synchronize by josef-widder
1h 15m 18s josef-widder:patch-2
josef-widder:patch-2
1h 15m 18s
Change loop step from 'l' to '1' in pseudo code comment of Bakery.tla Check Specs & Metadata #1152: Pull request #203 opened by josef-widder
1h 12m 26s josef-widder:patch-2
josef-widder:patch-2
1h 12m 26s
tlaplus-dispatch Check Specs & Metadata #1151: Repository dispatch triggered by lemmy
1h 2m 8s
1h 2m 8s
tlaplus-dispatch Check Specs & Metadata #1150: Repository dispatch triggered by lemmy
1h 6m 19s
1h 6m 19s
tlaplus-dispatch Check Specs & Metadata #1149: Repository dispatch triggered by lemmy
1h 12m 28s
1h 12m 28s
tlaplus-dispatch Check Specs & Metadata #1148: Repository dispatch triggered by lemmy
1h 4m 37s
1h 4m 37s
tlaplus-dispatch Check Specs & Metadata #1147: Repository dispatch triggered by lemmy
1h 13m 22s
1h 13m 22s
tlaplus-dispatch Check Specs & Metadata #1146: Repository dispatch triggered by lemmy
1h 20m 58s
1h 20m 58s
Fall back to Apalache v0.52.2 if latest download fails Check Specs & Metadata #1145: Commit ec17f2a pushed by lemmy
58m 41s master
master
58m 41s