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 #1227: Pull request #211 synchronize by lemmy
14m 4s mku-tlaips
mku-tlaips
14m 4s
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
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