Skip to content

Actions: tlaplus/CommunityModules

Actions

PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr.yml
56 workflow runs
56 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
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 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 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
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
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
Add more tests and Java module overrides for Graphs SimplePath, AreConnectedIn and IsStronglyConnected PR #40: Pull request #126 synchronize by lemmy
14m 18s mku-GraphsOverrides
mku-GraphsOverrides
14m 18s
Add more tests and Java module overrides for Graphs SimplePath, AreConnectedIn and IsStronglyConnected PR #39: Pull request #126 opened by lemmy
10m 51s mku-GraphsOverrides
mku-GraphsOverrides
10m 51s
several theorems about graphs PR #38: Pull request #125 synchronize by muenchnerkindl
21m 40s graphs
graphs
21m 40s
several theorems about graphs PR #37: Pull request #125 synchronize by muenchnerkindl
28m 50s graphs
graphs
28m 50s
several theorems about graphs PR #36: Pull request #125 synchronize by muenchnerkindl
12m 51s graphs
graphs
12m 51s
several theorems about graphs PR #35: Pull request #125 opened by muenchnerkindl
12m 48s graphs
graphs
12m 48s
Theorems for sum of constant function PR #34: Pull request #124 synchronize by lemmy
11m 4s mku-FuncTheorem
mku-FuncTheorem
11m 4s
Theorems for sum of constant function PR #33: Pull request #124 synchronize by lemmy
16m 18s mku-FuncTheorem
mku-FuncTheorem
16m 18s
Theorems for sum of constant function PR #32: Pull request #124 synchronize by muenchnerkindl
15m 32s mku-FuncTheorem
mku-FuncTheorem
15m 32s