Skip to content

Actions: tlaplus/Examples

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
550 workflow runs
550 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
dag-consensus: state the assumptions of BlockDag and Sailfish Check Specs & Metadata #1358: Commit ed3cc4c pushed by lemmy
34m 20s master
master
34m 20s
State the assumptions of BlockDag and Sailfish Check Specs & Metadata #1357: Pull request #233 synchronize by lemmy
36m 57s mku-dag-consensus
mku-dag-consensus
36m 57s
btree: assume the state constants are distinct Check Specs & Metadata #1356: Commit f2f1f98 pushed by lemmy
33m 38s master
master
33m 38s
Disruptor: assume exactly one writer in the SPMC spec Check Specs & Metadata #1355: Commit c757b12 pushed by lemmy
33m 31s master
master
33m 31s
Disruptor: assume exactly one writer in the SPMC spec Check Specs & Metadata #1354: Commit b18b721 pushed by lemmy
19m 50s master
master
19m 50s
Disruptor: name the assumptions of RingBuffer. Check Specs & Metadata #1353: Commit 45c1cfd pushed by lemmy
33m 31s master
master
33m 31s
Factor the TLC concerns out of btree into MCbtree Check Specs & Metadata #1352: Commit d8ed081 pushed by lemmy
34m 44s master
master
34m 44s
Factor the TLC concerns out of the Disruptor specs into MCDisruptor Check Specs & Metadata #1351: Commit f3e248a pushed by lemmy
1m 37s master
master
1m 37s
State the assumptions of BlockDag and Sailfish Check Specs & Metadata #1350: Pull request #233 opened by lemmy
32m 30s mku-dag-consensus
mku-dag-consensus
32m 30s
State the assumptions and split the models into MCDisruptor Check Specs & Metadata #1349: Pull request #232 opened by lemmy
28m 13s mku-disruptor
mku-disruptor
28m 13s
State the assumptions and split the model into MCbtree Check Specs & Metadata #1348: Pull request #231 opened by lemmy
33m 14s mku-btree
mku-btree
33m 14s
State the assumptions on Symbols, MaxOffset and BuffSz Check Specs & Metadata #1347: Pull request #230 opened by lemmy
33m 6s mku-braf
mku-braf
33m 6s
tlaplus-dispatch Check Specs & Metadata #1346: Repository dispatch triggered by lemmy
34m 26s
34m 26s
CI: model-check a sample of the Unicode specs Check Specs & Metadata #1345: Commit e296c31 pushed by lemmy
36m 10s master
master
36m 10s
Running Copilot Code Review Copilot #5: by Copilot AI
4m 43s mku-unicode
mku-unicode
4m 43s
CI: cut the Actions bill by about a third Check Specs & Metadata #1344: Pull request #229 opened by lemmy
32m 53s mku-unicode
mku-unicode
32m 53s
CI: fix the guard that skips Apalache on Unicode specs Check Specs & Metadata #1343: Commit 584dc24 pushed by lemmy
31m 40s master
master
31m 40s
Running Copilot Code Review Copilot #4: by Copilot AI
3m 45s mku-CIApalacheGuard
mku-CIApalacheGuard
3m 45s
CI: fix the guard that skips Apalache on Unicode specs Check Specs & Metadata #1342: Pull request #228 synchronize by lemmy
32m 37s mku-CIApalacheGuard
mku-CIApalacheGuard
32m 37s
CI: fix the guard that skips Apalache on Unicode specs Check Specs & Metadata #1341: Pull request #228 opened by lemmy
37m 11s mku-CIApalacheGuard
mku-CIApalacheGuard
37m 11s
Separate the CMP abstraction from the FLASH protocol. Check Specs & Metadata #1340: Commit a94afef pushed by lemmy
29m 5s master
master
29m 5s
Separate the CMP abstraction from the FLASH protocol. Check Specs & Metadata #1339: Pull request #226 synchronize by lemmy
33m 0s mku-flash
mku-flash
33m 0s
Separate the CMP abstraction from the FLASH protocol. Check Specs & Metadata #1338: Pull request #226 synchronize by lemmy
1m 15s mku-flash
mku-flash
1m 15s
CI: use JDK 21 for Apalache and JDK 17 for TLC Check Specs & Metadata #1337: Commit 815dbe1 pushed by lemmy
29m 41s master
master
29m 41s
JDK 21 for Apalache and JDK 17 for TLC Check Specs & Metadata #1336: Pull request #227 synchronize by lemmy
32m 25s mku-java21
mku-java21
32m 25s