Skip to content

Actions: tlaplus/Examples

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
443 workflow runs
443 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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 #1171: Pull request #204 synchronize by lemmy
25m 22s mku-TLCMultipleWorkers
mku-TLCMultipleWorkers
25m 22s
TLCMC: non-strict BFS, BFS level tracking, state constraints, and refinement to MCReachability. Check Specs & Metadata #1170: Pull request #204 synchronize by lemmy
12m 29s mku-TLCMultipleWorkers
mku-TLCMultipleWorkers
12m 29s
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
Copilot code review Copilot code review #11: by Copilot AI
7m 29s refs/pull/204/head
refs/pull/204/head
7m 29s
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
Copilot code review Copilot code review #10: by Copilot AI
4m 40s refs/pull/204/head
refs/pull/204/head
4m 40s
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