Skip to content

Actions: tlaplus/Examples

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
439 workflow runs
439 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

tlaplus-dispatch Check Specs & Metadata #969: Repository dispatch triggered by lemmy
32m 25s
32m 25s
tlaplus-dispatch Check Specs & Metadata #968: Repository dispatch triggered by lemmy
37m 41s
37m 41s
tlaplus-dispatch Check Specs & Metadata #967: Repository dispatch triggered by lemmy
32m 36s
32m 36s
tlaplus-dispatch Check Specs & Metadata #966: Repository dispatch triggered by lemmy
34m 3s
34m 3s
tlaplus-dispatch Check Specs & Metadata #965: Repository dispatch triggered by lemmy
2m 27s
2m 27s
tlaplus-dispatch Check Specs & Metadata #964: Repository dispatch triggered by lemmy
26m 49s
26m 49s
tlaplus-dispatch Check Specs & Metadata #963: Repository dispatch triggered by lemmy
35m 53s
35m 53s
tlaplus-dispatch Check Specs & Metadata #962: Repository dispatch triggered by lemmy
35m 19s
35m 19s
tlaplus-dispatch Check Specs & Metadata #961: Repository dispatch triggered by lemmy
34m 3s
34m 3s
tlaplus-dispatch Check Specs & Metadata #960: Repository dispatch triggered by lemmy
31m 47s
31m 47s
Manifest: added proof runtimes Check Specs & Metadata #959: Commit a3ecae1 pushed by ahelwer
34m 10s master
master
34m 10s
Manifest: added proof runtimes CI for EWD998 Trace Validation #67: Commit a3ecae1 pushed by ahelwer
9m 37s master
master
9m 37s
Manifest: added proof runtimes Check Specs & Metadata #958: Pull request #187 synchronize by ahelwer
33m 58s ahelwer:proof-runtime
ahelwer:proof-runtime
33m 58s
Manifest: added proof runtimes CI for EWD998 Trace Validation #66: Pull request #187 synchronize by ahelwer
11m 34s ahelwer:proof-runtime
ahelwer:proof-runtime
11m 34s
Manifest: added proof runtimes CI for EWD998 Trace Validation #65: Pull request #187 synchronize by ahelwer
9m 4s ahelwer:proof-runtime
ahelwer:proof-runtime
9m 4s
Manifest: added proof runtimes Check Specs & Metadata #957: Pull request #187 synchronize by ahelwer
30m 36s ahelwer:proof-runtime
ahelwer:proof-runtime
30m 36s
Manifest: added proof runtimes Check Specs & Metadata #956: Pull request #187 synchronize by ahelwer
35m 17s ahelwer:proof-runtime
ahelwer:proof-runtime
35m 17s
Manifest: added proof runtimes CI for EWD998 Trace Validation #64: Pull request #187 synchronize by ahelwer
7m 56s ahelwer:proof-runtime
ahelwer:proof-runtime
7m 56s
Manifest: added proof runtimes CI for EWD998 Trace Validation #63: Pull request #187 synchronize by ahelwer
10m 43s ahelwer:proof-runtime
ahelwer:proof-runtime
10m 43s
Manifest: added proof runtimes Check Specs & Metadata #955: Pull request #187 synchronize by ahelwer
24m 24s ahelwer:proof-runtime
ahelwer:proof-runtime
24m 24s
Manifest: added proof runtimes Check Specs & Metadata #954: Pull request #187 opened by ahelwer
5m 23s ahelwer:proof-runtime
ahelwer:proof-runtime
5m 23s
Manifest: added proof runtimes CI for EWD998 Trace Validation #62: Pull request #187 opened by ahelwer
10m 4s ahelwer:proof-runtime
ahelwer:proof-runtime
10m 4s
Manifest: removed model size field in favor of runtime Check Specs & Metadata #953: Commit 3c0c83b pushed by ahelwer
21m 46s master
master
21m 46s
Manifest: removed model size field in favor of runtime CI for EWD998 Trace Validation #61: Commit 3c0c83b pushed by ahelwer
12m 4s master
master
12m 4s
Manifest: removed model size field in favor of runtime CI for EWD998 Trace Validation #60: Pull request #186 synchronize by ahelwer
17m 13s ahelwer:remove-model-size
ahelwer:remove-model-size
17m 13s