Skip to content

Actions: tlaplus/CommunityModules

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
229 workflow runs
229 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
tlaplus-dispatch CI #963: Repository dispatch triggered by lemmy
23m 50s
23m 50s
tlaplus-dispatch CI #962: Repository dispatch triggered by lemmy
23m 44s
23m 44s
tlaplus-dispatch CI #961: Repository dispatch triggered by lemmy
26m 29s
26m 29s
tlaplus-dispatch CI #960: Repository dispatch triggered by lemmy
21m 35s
21m 35s
tlaplus-dispatch CI #959: Repository dispatch triggered by lemmy
20m 45s
20m 45s
tlaplus-dispatch CI #958: Repository dispatch triggered by lemmy
25m 53s
25m 53s
Make Interleave agree with the rest of the module on the empty sequence CI #957: Commit 03b25b3 pushed by lemmy
33m 36s master
master
33m 36s
Running Copilot Code Review Copilot #4: by Copilot AI
1m 3s mku-interleave
mku-interleave
1m 3s
Make Interleave agree with the rest of the module on the empty sequence PR #57: Pull request #129 opened by lemmy
22m 26s mku-interleave
mku-interleave
22m 26s
Correct the Interleave example for two singleton sequences CI #956: Commit bb98c19 pushed by lemmy
22m 26s master
master
22m 26s
Fix the error message of the kSubset override CI #955: Commit e05086f pushed by lemmy
17m 14s master
master
17m 14s
tlaplus-dispatch CI #954: Repository dispatch triggered by lemmy
21m 47s
21m 47s
tlaplus-dispatch CI #953: Repository dispatch triggered by lemmy
20m 44s
20m 44s
tlaplus-dispatch CI #952: Repository dispatch triggered by lemmy
20m 40s
20m 40s
tlaplus-dispatch CI #951: Repository dispatch triggered by lemmy
19m 27s
19m 27s
tlaplus-dispatch CI #950: Repository dispatch triggered by lemmy
20m 19s
20m 19s
ci: pass --strict when verifying TLAPS proofs CI #949: Commit a8068a4 pushed by lemmy
32m 7s master
master
32m 7s
ci: pass --strict when verifying TLAPS proofs PR #56: Pull request #128 opened by vasilisnasopoulos
18m 57s vasilisnasopoulos:strict-tlaps-ci
vasilisnasopoulos:strict-tlaps-ci
18m 57s
several theorems about graphs (#125) CI #948: Commit c2f2c77 pushed by muenchnerkindl
18m 10s master
master
18m 10s
several theorems about graphs PR #55: Pull request #125 synchronize by muenchnerkindl
18m 49s graphs
graphs
18m 49s
several theorems about graphs PR #54: Pull request #125 synchronize by lemmy
20m 49s graphs
graphs
20m 49s
several theorems about graphs PR #53: Pull request #125 synchronize by muenchnerkindl
17m 46s graphs
graphs
17m 46s
several theorems about graphs PR #52: Pull request #125 synchronize by muenchnerkindl
23m 29s graphs
graphs
23m 29s
several theorems about graphs PR #51: Pull request #125 synchronize by muenchnerkindl
25m 14s graphs
graphs
25m 14s
Towards a TLAPS stdlib (#127) CI #947: Commit 7b0e76c pushed by muenchnerkindl
11m 28s master
master
11m 28s