Skip to content

Actions: tlaplus/Examples

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
458 workflow runs
458 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
Experiment with Claude Opus 4.7 and TLAPS. Check Specs & Metadata #1220: Pull request #211 synchronize by lemmy
In progress mku-tlaips
mku-tlaips
In progress
Experiment with Claude Opus 4.7 and TLAPS. Check Specs & Metadata #1219: Pull request #211 synchronize by lemmy
2m 16s mku-tlaips
mku-tlaips
2m 16s
Experiment with Claude Opus 4.7 and TLAPS. Check Specs & Metadata #1218: Pull request #211 synchronize by lemmy
35m 50s mku-tlaips
mku-tlaips
35m 50s
Experiment with Claude Opus 4.7 and TLAPS. Check Specs & Metadata #1217: Pull request #211 synchronize by lemmy
39m 40s mku-tlaips
mku-tlaips
39m 40s
Experiment with Claude Opus 4.7 and TLAPS. Check Specs & Metadata #1216: Pull request #211 synchronize by lemmy
5m 59s mku-tlaips
mku-tlaips
5m 59s
Add Apalache wrappers and configurations for example specifications Check Specs & Metadata #1215: Commit 15733ef pushed by lemmy
55m 35s master
master
55m 35s
Add Apalache wrappers and configurations for example specifications Check Specs & Metadata #1214: Pull request #209 synchronize by lemmy
1h 3m 11s mku-Apalache
mku-Apalache
1h 3m 11s
Add Apalache wrappers and configurations for example specifications Check Specs & Metadata #1213: Pull request #209 synchronize by lemmy
51m 29s mku-Apalache
mku-Apalache
51m 29s
Experiment with Claude Opus 4.7 and TLAPS. Check Specs & Metadata #1212: Pull request #211 synchronize by lemmy
1h 13m 6s mku-tlaips
mku-tlaips
1h 13m 6s
Add Apalache wrappers and configurations for example specifications Check Specs & Metadata #1211: Pull request #209 synchronize by lemmy
49m 20s mku-Apalache
mku-Apalache
49m 20s
Add Apalache wrappers and configurations for example specifications Check Specs & Metadata #1210: Pull request #209 synchronize by lemmy
1m 7s mku-Apalache
mku-Apalache
1m 7s
Add Apalache wrappers and configurations for example specifications Check Specs & Metadata #1209: Pull request #209 synchronize by lemmy
1m 2s mku-Apalache
mku-Apalache
1m 2s
Add Apalache wrappers and configurations for example specifications Check Specs & Metadata #1208: Pull request #209 synchronize by lemmy
6m 3s mku-Apalache
mku-Apalache
6m 3s
Add Apalache wrappers and configurations for example specifications Check Specs & Metadata #1207: Pull request #209 synchronize by lemmy
6m 16s mku-Apalache
mku-Apalache
6m 16s
Add Apalache wrappers and configurations for example specifications Check Specs & Metadata #1206: Pull request #209 synchronize by lemmy
5m 55s mku-Apalache
mku-Apalache
5m 55s
Add Apalache wrappers and configurations for example specifications Check Specs & Metadata #1205: Pull request #209 synchronize by lemmy
5m 52s mku-Apalache
mku-Apalache
5m 52s
Experiment with Claude Opus 4.7 and TLAPS. Check Specs & Metadata #1204: Pull request #211 synchronize by lemmy
1h 11m 58s mku-tlaips
mku-tlaips
1h 11m 58s
Experiment with Claude Opus 4.7 and TLAPS. Check Specs & Metadata #1203: Pull request #211 synchronize by lemmy
50s mku-tlaips
mku-tlaips
50s
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