Skip to content

Actions: tlaplus/Examples

Actions

Check Specs & Metadata

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
CI.yml
395 workflow runs
395 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 #1239: Pull request #211 synchronize by lemmy
1m 9s mku-tlaips
mku-tlaips
1m 9s
ewd998: move RECURSIVE SimpleCycle from Utils.tla to EWD998_anim.tla Check Specs & Metadata #1238: Commit 8f94d8a pushed by lemmy
57m 16s master
master
57m 16s
ewd998: move RECURSIVE SimpleCycle from Utils.tla to EWD998_anim.tla Check Specs & Metadata #1237: Commit 15d356c pushed by lemmy
3m 2s master
master
3m 2s
ewd998: move RECURSIVE SimpleCycle from Utils.tla to EWD998_anim.tla Check Specs & Metadata #1236: Commit f7ff5f1 pushed by lemmy
2m 26s master
master
2m 26s
ewd998: move RECURSIVE SimpleCycle from Utils.tla to EWD998_anim.tla Check Specs & Metadata #1235: Commit acfca65 pushed by lemmy
59s master
master
59s
ewd998: move RECURSIVE SimpleCycle from Utils.tla to EWD998_anim.tla Check Specs & Metadata #1234: Commit a19ea8a pushed by lemmy
2m 23s master
master
2m 23s
Experiment with Claude Opus 4.7 and TLAPS. Check Specs & Metadata #1233: Pull request #211 synchronize by lemmy
1h 18m 51s mku-tlaips
mku-tlaips
1h 18m 51s
Experiment with Claude Opus 4.7 and TLAPS. Check Specs & Metadata #1232: Pull request #211 synchronize by lemmy
2m 1s mku-tlaips
mku-tlaips
2m 1s
Fix overlay tree edge definition in comment of EWD687a.tla Check Specs & Metadata #1231: Commit b864582 pushed by lemmy
1h 8m 44s master
master
1h 8m 44s
tlaplus-dispatch Check Specs & Metadata #1230: Repository dispatch triggered by lemmy
1h 14m 29s
1h 14m 29s
Experiment with Claude Opus 4.7 and TLAPS. Check Specs & Metadata #1229: Pull request #211 synchronize by lemmy
1h 19m 46s mku-tlaips
mku-tlaips
1h 19m 46s
tlaplus-dispatch Check Specs & Metadata #1228: Repository dispatch triggered by lemmy
1h 16m 30s
1h 16m 30s
Experiment with Claude Opus 4.7 and TLAPS. Check Specs & Metadata #1227: Pull request #211 synchronize by lemmy
15m 33s mku-tlaips
mku-tlaips
15m 33s
Experiment with Claude Opus 4.7 and TLAPS. Check Specs & Metadata #1226: Pull request #211 synchronize by lemmy
1m 11s mku-tlaips
mku-tlaips
1m 11s
tlaplus-dispatch Check Specs & Metadata #1225: Repository dispatch triggered by lemmy
1h 7m 16s
1h 7m 16s
Experiment with Claude Opus 4.7 and TLAPS. Check Specs & Metadata #1224: Pull request #211 synchronize by lemmy
1h 28m 33s mku-tlaips
mku-tlaips
1h 28m 33s
Experiment with Claude Opus 4.7 and TLAPS. Check Specs & Metadata #1223: Pull request #211 synchronize by lemmy
1h 2m 23s mku-tlaips
mku-tlaips
1h 2m 23s
Experiment with Claude Opus 4.7 and TLAPS. Check Specs & Metadata #1222: Pull request #211 synchronize by lemmy
5m 15s mku-tlaips
mku-tlaips
5m 15s
Experiment with Claude Opus 4.7 and TLAPS. Check Specs & Metadata #1221: Pull request #211 synchronize by lemmy
1h 12m 4s mku-tlaips
mku-tlaips
1h 12m 4s
Experiment with Claude Opus 4.7 and TLAPS. Check Specs & Metadata #1220: Pull request #211 synchronize by lemmy
31m 18s mku-tlaips
mku-tlaips
31m 18s
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