Skip to content

Actions: tlaplus/CommunityModules

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
280 workflow runs
280 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 the CBOR module CI #1003: Commit 4c6c79b pushed by lemmy
14m 7s master
master
14m 7s
Add a CBOR module that reads and writes TLA+ values PR #77: Pull request #136 synchronize by younes-io
15m 32s younes-io:cbor
younes-io:cbor
15m 32s
Running Copilot Code Review Copilot #9: by Copilot AI
4m 14s master
master
4m 14s
Add a CBOR module that reads and writes TLA+ values PR #76: Pull request #136 synchronize by younes-io
15m 47s younes-io:cbor
younes-io:cbor
15m 47s
tlaplus-dispatch CI #1002: Repository dispatch triggered by lemmy
15m 15s
15m 15s
tlaplus-dispatch CI #1001: Repository dispatch triggered by lemmy
13m 25s
13m 25s
Add a CBOR module that reads and writes TLA+ values PR #75: Pull request #136 synchronize by younes-io
15m 13s younes-io:cbor
younes-io:cbor
15m 13s
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