Skip to content

Actions: hyperpolymath/nextgen-databases

Actions

Verify TLA+ specs (verisimdb)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
verify-tlaplus.yml
23 workflow runs
23 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
Verify TLA+ specs (verisimdb) Verify TLA+ specs (verisimdb) #23: Scheduled
21s main
main
21s
Verify TLA+ specs (verisimdb) Verify TLA+ specs (verisimdb) #22: Scheduled
23s main
main
23s
Verify TLA+ specs (verisimdb) Verify TLA+ specs (verisimdb) #21: Scheduled
19s main
main
19s
Verify TLA+ specs (verisimdb) Verify TLA+ specs (verisimdb) #20: Scheduled
20s main
main
20s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) … Verify TLA+ specs (verisimdb) #19: Commit f5032ed pushed by hyperpolymath
19h 17m 26s main
main
19h 17m 26s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) Verify TLA+ specs (verisimdb) #18: Pull request #48 opened by hyperpolymath
11h 35m 17s chore/licence-normalisation-2026-06-24
chore/licence-normalisation-2026-06-24
11h 35m 17s
Verify TLA+ specs (verisimdb) Verify TLA+ specs (verisimdb) #17: Scheduled
26s main
main
26s
Verify TLA+ specs (verisimdb) Verify TLA+ specs (verisimdb) #16: Scheduled
22s main
main
22s
Verify TLA+ specs (verisimdb) Verify TLA+ specs (verisimdb) #15: Scheduled
22s main
main
22s
chore(license): flip 155 PMPL→MPL-2.0 SPDX stamps (Phase 1 — root + s… Verify TLA+ specs (verisimdb) #14: Commit a836ba2 pushed by hyperpolymath
3m 48s main
main
3m 48s
chore(license): flip 155 PMPL→MPL-2.0 SPDX stamps (Phase 1 — root + small infra) Verify TLA+ specs (verisimdb) #13: Pull request #29 opened by hyperpolymath
23s chore/license-phase-1-spdx-mpl-2-0
chore/license-phase-1-spdx-mpl-2-0
23s
Verify TLA+ specs (verisimdb) Verify TLA+ specs (verisimdb) #12: Scheduled
23s main
main
23s
chore(ci): replace secret-scanner.yml with reusable wrapper (#25) Verify TLA+ specs (verisimdb) #11: Commit 90f3dfa pushed by hyperpolymath
5h 46m 37s main
main
5h 46m 37s
chore(ci): replace mirror.yml with reusable wrapper (#24) Verify TLA+ specs (verisimdb) #10: Commit 803a371 pushed by hyperpolymath
5h 44m 34s main
main
5h 44m 34s
chore(license): migrate PMPL-1.0-or-later → MPL-2.0 (solo) (#23) Verify TLA+ specs (verisimdb) #9: Commit 7424d1a pushed by hyperpolymath
5h 40m 35s main
main
5h 40m 35s
Verify TLA+ specs (verisimdb) Verify TLA+ specs (verisimdb) #8: Scheduled
25s main
main
25s
Verify TLA+ specs (verisimdb) Verify TLA+ specs (verisimdb) #7: Scheduled
5h 42m 1s main
main
5h 42m 1s
Verify TLA+ specs (verisimdb) Verify TLA+ specs (verisimdb) #6: Scheduled
25s main
main
25s
Verify TLA+ specs (verisimdb) Verify TLA+ specs (verisimdb) #5: Scheduled
30s main
main
30s
Verify TLA+ specs (verisimdb) Verify TLA+ specs (verisimdb) #4: Scheduled
23s main
main
23s
Verify TLA+ specs (verisimdb) Verify TLA+ specs (verisimdb) #3: Scheduled
2m 15s main
main
2m 15s
proof(verisimdb): harden V10 scenario to actually exercise concurrency Verify TLA+ specs (verisimdb) #2: Commit 2390e52 pushed by hyperpolymath
24s main
main
24s
ci(verisimdb): add TLA+ model-check workflow for V5/V9/V10 Verify TLA+ specs (verisimdb) #1: Commit a301cef pushed by hyperpolymath
22s main
main
22s