Skip to content

Actions: tlaplus/Examples

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
485 workflow runs
485 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

TLCMC: non-strict BFS, BFS level tracking, state constraints, and refinement to MCReachability. Check Specs & Metadata #1172: Pull request #204 synchronize by lemmy
1h 0m 56s mku-TLCMultipleWorkers
mku-TLCMultipleWorkers
1h 0m 56s
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