Skip to content

Actions: tlaplus/Examples

Actions

Check Specs & Metadata

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
CI.yml
349 workflow runs
349 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
CI: check proofs using find | jq | xargs bash pipeline Check Specs & Metadata #1176: Pull request #205 synchronize by ahelwer
45m 43s ahelwer:ci-tlapm-bash
ahelwer:ci-tlapm-bash
45m 43s
CI: check proofs using find | jq | xargs bash pipeline Check Specs & Metadata #1175: Pull request #205 opened by ahelwer
42m 19s ahelwer:ci-tlapm-bash
ahelwer:ci-tlapm-bash
42m 19s
tlaplus-dispatch Check Specs & Metadata #1174: Repository dispatch triggered by lemmy
1h 4m 32s
1h 4m 32s
Add DieHard graph Check Specs & Metadata #1173: Commit b05b8ff pushed by lemmy
1h 9m 35s master
master
1h 9m 35s
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
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