Skip to content

Actions: tlaplus/CommunityModules

Actions

PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr.yml
75 workflow runs
75 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
Add a CBOR module that reads and writes TLA+ values PR #75: Pull request #136 synchronize by younes-io
Action required younes-io:cbor
younes-io:cbor
Action required
Add a CBOR module that reads and writes TLA+ values PR #74: Pull request #136 synchronize by younes-io
Action required younes-io:cbor
younes-io:cbor
Action required
Add a CBOR module that reads and writes TLA+ values PR #73: Pull request #136 synchronize by younes-io
13m 46s younes-io:cbor
younes-io:cbor
13m 46s
Add a CBOR module that reads and writes TLA+ values PR #72: Pull request #136 synchronize by younes-io
Action required younes-io:cbor
younes-io:cbor
Action required
Add a CBOR module that reads and writes TLA+ values PR #71: Pull request #136 opened by younes-io
13m 7s younes-io:cbor
younes-io:cbor
13m 7s
Make the AntiFunction override total on non-injective functions PR #70: Pull request #135 synchronize by lemmy
13m 11s mku-antifunction
mku-antifunction
13m 11s
Make the AntiFunction override total on non-injective functions PR #69: Pull request #135 opened by lemmy
13m 16s mku-antifunction
mku-antifunction
13m 16s
Make the IsInjective override accept records and lazy functions PR #68: Pull request #134 opened by lemmy
10m 18s mku-isinjective
mku-isinjective
10m 18s
Add pure tests for more operators with Java module overrides PR #67: Pull request #133 synchronize by lemmy
11m 53s mku-pureTests
mku-pureTests
11m 53s
Add pure tests for more operators with Java module overrides PR #66: Pull request #133 opened by lemmy
17m 22s mku-pureTests
mku-pureTests
17m 22s
Add tests for SequencesExt SelectInSubSeq and SelectLastInSubSeq PR #65: Pull request #132 synchronize by lemmy
14m 32s sequencesext-selectinsubseq-pure-tests
sequencesext-selectinsubseq-pure-tests
14m 32s
Add tests for SequencesExt SelectInSubSeq and SelectLastInSubSeq PR #64: Pull request #132 opened by lemmy
10m 26s sequencesext-selectinsubseq-pure-tests
sequencesext-selectinsubseq-pure-tests
10m 26s
Delegate kSubset semantics to KSubsetValue PR #63: Pull request #130 synchronize by lemmy
19m 52s mku-ksubset
mku-ksubset
19m 52s
Delegate kSubset semantics to KSubsetValue PR #62: Pull request #130 synchronize by lemmy
22m 3s mku-ksubset
mku-ksubset
22m 3s
Delegate kSubset semantics to KSubsetValue PR #61: Pull request #130 synchronize by lemmy
19m 33s mku-ksubset
mku-ksubset
19m 33s
Delegate kSubset semantics to KSubsetValue PR #60: Pull request #130 synchronize by lemmy
23m 2s mku-ksubset
mku-ksubset
23m 2s
Delegate kSubset semantics to KSubsetValue PR #59: Pull request #130 synchronize by lemmy
16m 25s mku-ksubset
mku-ksubset
16m 25s
Delegate kSubset semantics to KSubsetValue PR #58: Pull request #130 opened by lemmy
4m 27s mku-ksubset
mku-ksubset
4m 27s
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
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