Skip to content

Actions: tlaplus/Examples

Actions

Check Specs & Metadata

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
CI.yml
428 workflow runs
428 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
Replace Functions and FunctionTheorems with Fork variants Check Specs & Metadata #976: Commit 1842880 pushed by lemmy
2m 46s master
master
2m 46s
Replace Functions and FunctionTheorems with Fork variants Check Specs & Metadata #975: Commit f5b61b8 pushed by lemmy
2m 34s master
master
2m 34s
Replace Functions and FunctionTheorems with Fork variants Check Specs & Metadata #974: Commit f50fd68 pushed by lemmy
56s master
master
56s
Replace Functions and FunctionTheorems with Fork variants Check Specs & Metadata #973: Commit 2cf2e11 pushed by lemmy
1m 15s master
master
1m 15s
tlaplus-dispatch Check Specs & Metadata #972: Repository dispatch triggered by lemmy
2m 40s
2m 40s
tlaplus-dispatch Check Specs & Metadata #971: Repository dispatch triggered by lemmy
33m 54s
33m 54s
tlaplus-dispatch Check Specs & Metadata #970: Repository dispatch triggered by lemmy
39m 43s
39m 43s
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 Check Specs & Metadata #958: Pull request #187 synchronize by ahelwer
33m 58s ahelwer:proof-runtime
ahelwer:proof-runtime
33m 58s
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 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: 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 Check Specs & Metadata #952: Pull request #186 synchronize by ahelwer
22m 47s ahelwer:remove-model-size
ahelwer:remove-model-size
22m 47s
ProTip! You can narrow down the results and go further in time using created:<2025-08-20 or the other filters available.