Skip to content

Actions: tlaplus/Examples

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
511 workflow runs
511 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
safety proof of EWD687a (#215) Check Specs & Metadata #1284: Commit 91c22ea pushed by muenchnerkindl
30m 23s master
master
30m 23s
safety proof of EWD687a Check Specs & Metadata #1283: Pull request #215 synchronize by muenchnerkindl
31m 33s ewd687a
ewd687a
31m 33s
Rename German models by abstraction level Check Specs & Metadata #1282: Commit d9456a2 pushed by lemmy
30m 43s master
master
30m 43s
Add German cache-coherence protocol example (Murphi > TLA+) Check Specs & Metadata #1281: Pull request #214 synchronize by lemmy
26m 1s lemmy:mku-german
lemmy:mku-german
26m 1s
Composition of specifications CI for EWD998 Trace Validation #141: Pull request #132 synchronize by lemmy
10m 45s mku-ewd998
mku-ewd998
10m 45s
Composition of specifications Check Specs & Metadata #1280: Pull request #132 synchronize by lemmy
1m 15s mku-ewd998
mku-ewd998
1m 15s
Compose Compute, Detect Termination (EWD998), and Shutdown. CI for EWD998 Trace Validation #140: Commit d1bf987 pushed by lemmy
11m 25s mku-ewd998
mku-ewd998
11m 25s
Add German cache-coherence protocol example (Murphi > TLA+) Check Specs & Metadata #1279: Pull request #214 synchronize by lemmy
10m 36s lemmy:mku-german
lemmy:mku-german
10m 36s
Running Copilot Code Review Copilot #1: by Copilot AI
4m 28s master
master
4m 28s
safety proof of EWD687a Check Specs & Metadata #1278: Pull request #215 opened by muenchnerkindl
29m 8s ewd687a
ewd687a
29m 8s
tlaplus-dispatch Check Specs & Metadata #1277: Repository dispatch triggered by lemmy
30m 10s
30m 10s
Add German cache-coherence protocol example (Murphi > TLA+) Check Specs & Metadata #1276: Pull request #214 opened by lemmy
30m 3s lemmy:mku-german
lemmy:mku-german
30m 3s
tlaplus-dispatch Check Specs & Metadata #1275: Repository dispatch triggered by lemmy
30m 31s
30m 31s
tlaplus-dispatch Check Specs & Metadata #1274: Repository dispatch triggered by lemmy
30m 23s
30m 23s
CI: filter on max proof time in manifests (#213) Check Specs & Metadata #1273: Commit 47b0e2c pushed by ahelwer
29m 56s master
master
29m 56s
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 Check Specs & Metadata #1272: Pull request #213 synchronize by ahelwer
29m 57s ahelwer:proof-max-runtime
ahelwer:proof-max-runtime
29m 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 Check Specs & Metadata #1271: Pull request #213 synchronize by ahelwer
34m 51s ahelwer:proof-max-runtime
ahelwer:proof-max-runtime
34m 51s
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 Check Specs & Metadata #1270: Pull request #213 synchronize by ahelwer
35m 50s ahelwer:proof-max-runtime
ahelwer:proof-max-runtime
35m 50s
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 Check Specs & Metadata #1269: Pull request #213 synchronize by ahelwer
35m 47s ahelwer:proof-max-runtime
ahelwer:proof-max-runtime
35m 47s
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