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
Experiment with Claude Opus 4.7 and TLAPS. Check Specs & Metadata #1202: Pull request #211 opened by lemmy
30m 5s mku-tlaips
mku-tlaips
30m 5s
Add Apalache wrappers and configurations for example specifications Check Specs & Metadata #1201: Pull request #209 synchronize by lemmy
6m 15s mku-Apalache
mku-Apalache
6m 15s
tlaplus-dispatch Check Specs & Metadata #1197: Repository dispatch triggered by lemmy
1h 13m 38s
1h 13m 38s
CI: invoke Apalache via apalache-mc.bat (and cmd.exe) on Windows Check Specs & Metadata #1196: Pull request #210 opened by lemmy
1h 0m 45s mku-CIApalache
mku-CIApalache
1h 0m 45s
Fix variable name in markdown table check script. Check Specs & Metadata #1193: Commit d9ce4db pushed by lemmy
26m 14s master
master
26m 14s
tlaplus-dispatch Check Specs & Metadata #1190: Repository dispatch triggered by lemmy
58m 37s
58m 37s
CI: only run proofs on push to master Check Specs & Metadata #1187: Pull request #206 synchronize by ahelwer
16m 45s ahelwer:ci-time-proofs
ahelwer:ci-time-proofs
16m 45s
CI: only run proofs on push to master Check Specs & Metadata #1186: Pull request #206 synchronize by ahelwer
8m 48s ahelwer:ci-time-proofs
ahelwer:ci-time-proofs
8m 48s
CI: only run proofs on push to master Check Specs & Metadata #1185: Pull request #206 synchronize by ahelwer
1h 3m 58s ahelwer:ci-time-proofs
ahelwer:ci-time-proofs
1h 3m 58s
CI: only run proofs on push to master Check Specs & Metadata #1184: Pull request #206 synchronize by ahelwer
28m 59s ahelwer:ci-time-proofs
ahelwer:ci-time-proofs
28m 59s
CI: only run proofs on push to master Check Specs & Metadata #1183: Pull request #206 opened by ahelwer
2m 8s ahelwer:ci-time-proofs
ahelwer:ci-time-proofs
2m 8s
CI: check proofs using find | jq | xargs bash pipeline (#205) Check Specs & Metadata #1182: Commit 08f63a1 pushed by ahelwer
58m 45s master
master
58m 45s
CI: check proofs using find | jq | xargs bash pipeline Check Specs & Metadata #1181: Pull request #205 synchronize by ahelwer
1h 8m 42s ahelwer:ci-tlapm-bash
ahelwer:ci-tlapm-bash
1h 8m 42s
CI: check proofs using find | jq | xargs bash pipeline Check Specs & Metadata #1180: Pull request #205 synchronize by ahelwer
1h 0m 30s ahelwer:ci-tlapm-bash
ahelwer:ci-tlapm-bash
1h 0m 30s
CI: check proofs using find | jq | xargs bash pipeline Check Specs & Metadata #1179: Pull request #205 synchronize by ahelwer
32m 11s ahelwer:ci-tlapm-bash
ahelwer:ci-tlapm-bash
32m 11s
CI: check proofs using find | jq | xargs bash pipeline Check Specs & Metadata #1178: Pull request #205 synchronize by ahelwer
30m 12s ahelwer:ci-tlapm-bash
ahelwer:ci-tlapm-bash
30m 12s
tlaplus-dispatch Check Specs & Metadata #1177: Repository dispatch triggered by lemmy
1h 1m 48s
1h 1m 48s
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