Skip to content

Actions: tlaplus/Examples

Actions

Check Specs & Metadata

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
CI.yml
418 workflow runs
418 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: fix the guard that skips Apalache on Unicode specs Check Specs & Metadata #1343: Commit 584dc24 pushed by lemmy
31m 40s master
master
31m 40s
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
JDK 21 for Apalache and JDK 17 for TLC Check Specs & Metadata #1335: Pull request #227 opened by lemmy
58s mku-java21
mku-java21
58s
Separate the CMP abstraction from the FLASH protocol. Check Specs & Metadata #1334: Pull request #226 synchronize by lemmy
17m 26s mku-flash
mku-flash
17m 26s
Separate the CMP abstraction from the FLASH protocol. Check Specs & Metadata #1333: Pull request #226 opened by lemmy
59s mku-flash
mku-flash
59s
Create AI usage policy for TLA Examples (#225) Check Specs & Metadata #1332: Commit 4ac4050 pushed by lemmy
28m 26s master
master
28m 26s
Create AI usage policy for TLA Examples Check Specs & Metadata #1331: Pull request #225 synchronize by lemmy
30m 28s mku-aipolicy
mku-aipolicy
30m 28s
Create AI usage policy for TLA Examples Check Specs & Metadata #1330: Pull request #225 synchronize by lemmy
32m 46s mku-aipolicy
mku-aipolicy
32m 46s
Create AI usage policy for TLA Examples Check Specs & Metadata #1329: Pull request #225 opened by lemmy
2m 55s mku-aipolicy
mku-aipolicy
2m 55s
Add MultiPaxos Leader Leases spec Check Specs & Metadata #1328: Pull request #224 synchronize by josehu07
28m 41s josehu07:master
josehu07:master
28m 41s
Add MultiPaxos Leader Leases spec Check Specs & Metadata #1327: Pull request #224 opened by josehu07
6m 30s josehu07:master
josehu07:master
6m 30s
CI: delete check_proofs.py script (#223) Check Specs & Metadata #1326: Commit 52c4c65 pushed by ahelwer
31m 16s master
master
31m 16s
CI: delete check_proofs.py script Check Specs & Metadata #1325: Pull request #223 opened by ahelwer
28m 40s ahelwer:remove-proof-script
ahelwer:remove-proof-script
28m 40s
Add Vortex DSE specifications Check Specs & Metadata #1324: Pull request #220 synchronize by vasilisnasopoulos
29m 19s vasilisnasopoulos:vortex-dse
vasilisnasopoulos:vortex-dse
29m 19s
Add Vortex DSE specifications Check Specs & Metadata #1323: Pull request #220 synchronize by vasilisnasopoulos
28m 41s vasilisnasopoulos:vortex-dse
vasilisnasopoulos:vortex-dse
28m 41s
Revert "CI: use JDK 25 for Apalache and JDK 17 for TLC" Check Specs & Metadata #1322: Commit 8cc6a04 pushed by lemmy
Queued master
master
Queued
Add Vortex DSE specifications Check Specs & Metadata #1321: Pull request #220 synchronize by vasilisnasopoulos
30m 46s vasilisnasopoulos:vortex-dse
vasilisnasopoulos:vortex-dse
30m 46s
Add Vortex DSE specifications Check Specs & Metadata #1320: Pull request #220 synchronize by vasilisnasopoulos
16m 11s vasilisnasopoulos:vortex-dse
vasilisnasopoulos:vortex-dse
16m 11s
Add Vortex DSE specifications Check Specs & Metadata #1319: Pull request #220 synchronize by vasilisnasopoulos
31m 7s vasilisnasopoulos:vortex-dse
vasilisnasopoulos:vortex-dse
31m 7s