Skip to content

Actions: tlaplus/CommunityModules

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
219 workflow runs
219 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 #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
Towards a TLAPS stdlib PR #50: Pull request #127 synchronize by muenchnerkindl
11m 8s mku-stdlib
mku-stdlib
11m 8s
Towards a TLAPS stdlib PR #49: Pull request #127 synchronize by muenchnerkindl
16m 46s mku-stdlib
mku-stdlib
16m 46s
Towards a TLAPS stdlib PR #48: Pull request #127 synchronize by muenchnerkindl
11m 37s mku-stdlib
mku-stdlib
11m 37s
Add Graphs module overrides for SimplePath, AreConnectedIn and IsStro… CI #946: Commit dac9808 pushed by lemmy
16m 30s master
master
16m 30s
Running Copilot Code Review Copilot #3: by Copilot AI
3m 31s mku-stdlib
mku-stdlib
3m 31s
Towards a TLAPS stdlib PR #47: Pull request #127 opened by lemmy
21m 28s mku-stdlib
mku-stdlib
21m 28s
Add more tests and Java module overrides for Graphs SimplePath, AreConnectedIn and IsStronglyConnected PR #46: Pull request #126 synchronize by lemmy
12m 45s mku-GraphsOverrides
mku-GraphsOverrides
12m 45s
Add more tests and Java module overrides for Graphs SimplePath, AreConnectedIn and IsStronglyConnected PR #45: Pull request #126 synchronize by lemmy
12m 21s mku-GraphsOverrides
mku-GraphsOverrides
12m 21s
Add more tests and Java module overrides for Graphs SimplePath, AreConnectedIn and IsStronglyConnected PR #44: Pull request #126 synchronize by lemmy
14m 37s mku-GraphsOverrides
mku-GraphsOverrides
14m 37s
Add more tests and Java module overrides for Graphs SimplePath, AreConnectedIn and IsStronglyConnected PR #43: Pull request #126 synchronize by lemmy
14m 35s mku-GraphsOverrides
mku-GraphsOverrides
14m 35s
Running Copilot Code Review Copilot #2: by Copilot AI
5m 3s mku-GraphsOverrides
mku-GraphsOverrides
5m 3s
Add more tests and Java module overrides for Graphs SimplePath, AreConnectedIn and IsStronglyConnected PR #42: Pull request #126 synchronize by lemmy
15m 35s mku-GraphsOverrides
mku-GraphsOverrides
15m 35s
Add more tests and Java module overrides for Graphs SimplePath, AreConnectedIn and IsStronglyConnected PR #41: Pull request #126 synchronize by lemmy
13m 50s mku-GraphsOverrides
mku-GraphsOverrides
13m 50s