Skip to content

Actions: tlaplus/Examples

Actions

CI for EWD998 Trace Validation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ewd998.yml
112 workflow runs
112 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
CI: filter on max proof time in manifests (#213) CI for EWD998 Trace Validation #139: Commit 47b0e2c pushed by ahelwer
14m 57s master
master
14m 57s
CI: record & use max proof runtime CI for EWD998 Trace Validation #138: Pull request #213 synchronize by ahelwer
16m 26s ahelwer:proof-max-runtime
ahelwer:proof-max-runtime
16m 26s
CI: record & use max proof runtime CI for EWD998 Trace Validation #137: Pull request #213 synchronize by ahelwer
10m 9s ahelwer:proof-max-runtime
ahelwer:proof-max-runtime
10m 9s
CI: record & use max proof runtime CI for EWD998 Trace Validation #136: Pull request #213 synchronize by ahelwer
9m 49s ahelwer:proof-max-runtime
ahelwer:proof-max-runtime
9m 49s
CI: record & use max proof runtime CI for EWD998 Trace Validation #135: Pull request #213 synchronize by ahelwer
13m 18s ahelwer:proof-max-runtime
ahelwer:proof-max-runtime
13m 18s
CI: record & use max proof runtime CI for EWD998 Trace Validation #134: Pull request #213 synchronize by ahelwer
12m 30s ahelwer:proof-max-runtime
ahelwer:proof-max-runtime
12m 30s
CI: record & use max proof runtime CI for EWD998 Trace Validation #133: Pull request #213 synchronize by ahelwer
16m 13s ahelwer:proof-max-runtime
ahelwer:proof-max-runtime
16m 13s
CI: record & use max proof runtime CI for EWD998 Trace Validation #132: Pull request #213 opened by ahelwer
11m 59s ahelwer:proof-max-runtime
ahelwer:proof-max-runtime
11m 59s
Close missing BY clauses in TypeOK_Step network cases CI for EWD998 Trace Validation #131: Commit 3a6b92c pushed by lemmy
11m 37s master
master
11m 37s
Remove outdated Folds and Functions modules from FiniteMonotonic CI for EWD998 Trace Validation #130: Commit 809c7a2 pushed by lemmy
15m 33s master
master
15m 33s
Experiment with Claude Opus 4.7 and TLAPS. CI for EWD998 Trace Validation #129: Pull request #211 synchronize by lemmy
8m 25s mku-tlaips
mku-tlaips
8m 25s
Remove outdated Folds and Functions modules from FiniteMonotonic CI for EWD998 Trace Validation #128: Commit 8537e70 pushed by lemmy
10m 9s mku-tlaips
mku-tlaips
10m 9s
Experiment with Claude Opus 4.7 and TLAPS. CI for EWD998 Trace Validation #127: Pull request #211 synchronize by lemmy
10m 51s mku-tlaips
mku-tlaips
10m 51s
Remove outdated Folds and Functions modules from FiniteMonotonic CI for EWD998 Trace Validation #126: Commit a00f40f pushed by lemmy
13m 52s mku-tlaips
mku-tlaips
13m 52s
Experiment with Claude Opus 4.7 and TLAPS. CI for EWD998 Trace Validation #125: Pull request #211 synchronize by lemmy
9m 12s mku-tlaips
mku-tlaips
9m 12s
List the new _proof.tla files in per-spec manifest.json and README.md CI for EWD998 Trace Validation #124: Commit 3ed70cf pushed by lemmy
11m 47s mku-tlaips
mku-tlaips
11m 47s
Experiment with Claude Opus 4.7 and TLAPS. CI for EWD998 Trace Validation #123: Pull request #211 synchronize by lemmy
11m 18s mku-tlaips
mku-tlaips
11m 18s
List the new _proof.tla files in per-spec manifest.json and README.md CI for EWD998 Trace Validation #122: Commit 94093db pushed by lemmy
11m 28s mku-tlaips
mku-tlaips
11m 28s
Experiment with Claude Opus 4.7 and TLAPS. CI for EWD998 Trace Validation #121: Pull request #211 synchronize by lemmy
9m 15s mku-tlaips
mku-tlaips
9m 15s
List the new _proof.tla files in per-spec manifest.json CI for EWD998 Trace Validation #120: Commit 0cd8aa7 pushed by lemmy
8m 2s mku-tlaips
mku-tlaips
8m 2s
Experiment with Claude Opus 4.7 and TLAPS. CI for EWD998 Trace Validation #119: Pull request #211 synchronize by lemmy
13m 20s mku-tlaips
mku-tlaips
13m 20s
List the new _proof.tla files in per-spec manifest.json CI for EWD998 Trace Validation #118: Commit fd1dc06 pushed by lemmy
9m 37s mku-tlaips
mku-tlaips
9m 37s
Experiment with Claude Opus 4.7 and TLAPS. CI for EWD998 Trace Validation #117: Pull request #211 synchronize by lemmy
11m 49s mku-tlaips
mku-tlaips
11m 49s
Add TLAPS proof companions for example specifications CI for EWD998 Trace Validation #116: Commit 25c37b4 pushed by lemmy
11m 48s mku-tlaips
mku-tlaips
11m 48s
Experiment with Claude Opus 4.7 and TLAPS. CI for EWD998 Trace Validation #115: Pull request #211 synchronize by lemmy
11m 7s mku-tlaips
mku-tlaips
11m 7s