Skip to content

Actions: tlaplus/Examples

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
488 workflow runs
488 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 #1239: Pull request #211 synchronize by lemmy
1m 9s mku-tlaips
mku-tlaips
1m 9s
Experiment with Claude Opus 4.7 and TLAPS. CI for EWD998 Trace Validation #109: Pull request #211 synchronize by lemmy
9m 1s mku-tlaips
mku-tlaips
9m 1s
Add TLAPS proof companions for example specifications CI for EWD998 Trace Validation #108: Commit 287133c pushed by lemmy
9m 11s mku-tlaips
mku-tlaips
9m 11s
ewd998: move RECURSIVE SimpleCycle from Utils.tla to EWD998_anim.tla CI for EWD998 Trace Validation #107: Commit 8f94d8a pushed by lemmy
9m 6s master
master
9m 6s
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 CI for EWD998 Trace Validation #106: Commit 15d356c pushed by lemmy
49s master
master
49s
ewd998: move RECURSIVE SimpleCycle from Utils.tla to EWD998_anim.tla CI for EWD998 Trace Validation #105: Commit f7ff5f1 pushed by lemmy
30s master
master
30s
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 CI for EWD998 Trace Validation #104: Commit acfca65 pushed by lemmy
23s master
master
23s
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 CI for EWD998 Trace Validation #103: Commit a19ea8a pushed by lemmy
12m 51s master
master
12m 51s
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. CI for EWD998 Trace Validation #102: Pull request #211 synchronize by lemmy
11m 7s mku-tlaips
mku-tlaips
11m 7s
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
ewd998/EWD998_proof: reuse CommunityModules FunctionTheorems CI for EWD998 Trace Validation #101: Commit 38dcb3f pushed by lemmy
10m 59s mku-tlaips
mku-tlaips
10m 59s
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
Experiment with Claude Opus 4.7 and TLAPS. CI for EWD998 Trace Validation #100: Pull request #211 synchronize by lemmy
14m 20s mku-tlaips
mku-tlaips
14m 20s
ewd998/EWD998_proof: reuse CommunityModules FunctionTheorems CI for EWD998 Trace Validation #99: Commit 6ca13ac pushed by lemmy
8m 32s mku-tlaips
mku-tlaips
8m 32s
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. CI for EWD998 Trace Validation #98: Pull request #211 synchronize by lemmy
11m 15s mku-tlaips
mku-tlaips
11m 15s
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
docs: PROOF_DIFFICULTY.md - mark MultiCarElevator partial CI for EWD998 Trace Validation #97: Commit 3cd58b0 pushed by lemmy
10m 10s mku-tlaips
mku-tlaips
10m 10s
tlaplus-dispatch Check Specs & Metadata #1228: Repository dispatch triggered by lemmy
1h 16m 30s
1h 16m 30s