Skip to content

Actions: tlaplus/CommunityModules

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
277 workflow runs
277 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
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
Running Copilot Code Review Copilot #8: by Copilot AI
3m 32s master
master
3m 32s
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
tlaplus-dispatch CI #1000: Repository dispatch triggered by lemmy
13m 32s
13m 32s
tlaplus-dispatch CI #999: Repository dispatch triggered by lemmy
18m 32s
18m 32s
tlaplus-dispatch CI #998: Repository dispatch triggered by lemmy
10m 25s
10m 25s
Make the AntiFunction override total on non-injective functions (#135) CI #997: Commit 78b98ae pushed by lemmy
12m 38s master
master
12m 38s
Running Copilot Code Review Copilot #7: by Copilot AI
1m 21s mku-antifunction
mku-antifunction
1m 21s
Running Copilot Code Review Copilot #6: by Copilot AI
1m 48s mku-antifunction
mku-antifunction
1m 48s
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
Running Copilot Code Review Copilot #5: by Copilot AI
1m 44s mku-antifunction
mku-antifunction
1m 44s
Make the IsInjective override accept records and lazy functions CI #996: Commit e5c823f pushed by lemmy
9m 30s master
master
9m 30s
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 CI #995: Commit 1a47a22 pushed by lemmy
11m 48s master
master
11m 48s
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 (#132) CI #994: Commit 409cf09 pushed by lemmy
17m 2s master
master
17m 2s
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
tlaplus-dispatch CI #993: Repository dispatch triggered by lemmy
13m 45s
13m 45s
tlaplus-dispatch CI #992: Repository dispatch triggered by lemmy
15m 25s
15m 25s
tlaplus-dispatch CI #991: Repository dispatch triggered by lemmy
17m 48s
17m 48s