Skip to content

Actions: hyperpolymath/nextgen-databases

Actions

Mirror to Git Forges

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
mirror.yml
187 workflow runs
187 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
fix(p3): update stale Rust API consumers + fix KRaft flaky tests Mirror to Git Forges #137: Commit 327c493 pushed by hyperpolymath
3m 6s main
main
3m 6s
feat(vcl/tropical): ProofOptimalAssignment clause + TropicalDetermina… Mirror to Git Forges #136: Commit 15b19cc pushed by hyperpolymath
3m 1s main
main
3m 1s
fix(p1): VCLTypeChecker ArgumentError + null-byte sanitisation in VCL… Mirror to Git Forges #135: Commit ab29f77 pushed by hyperpolymath
3m 0s main
main
3m 0s
refactor(rename): VQL → VCL (VeriSim Consonance Language) — complete … Mirror to Git Forges #134: Commit 5cbd874 pushed by hyperpolymath
3m 7s main
main
3m 7s
chore(contractiles): delete root contractiles/ + fix Trustfille.a2ml … Mirror to Git Forges #133: Commit 999ce70 pushed by hyperpolymath
4m 2s main
main
4m 2s
chore(6a2+a2ml): mark bellman_ford CLOSED; complete lithoglyph 6a2 sw… Mirror to Git Forges #132: Commit 927b676 pushed by hyperpolymath
3m 10s main
main
3m 10s
chore(6a2): commit 6a2 sweep — lithoglyph, quandledb, typeql-exp, ver… Mirror to Git Forges #131: Commit f200330 pushed by hyperpolymath
3m 47s main
main
3m 47s
feat(tropical-bridge): wire KnotTheory.jl RII into TangleGraph v0.2 Mirror to Git Forges #130: Commit 3b75ecf pushed by hyperpolymath
4m 51s main
main
4m 51s
chore(6a2): update verisimdb STATE for proof_attempts API session Mirror to Git Forges #129: Commit fefeab0 pushed by hyperpolymath
3m 57s main
main
3m 57s
feat(verisim-api): add proof_attempts REST endpoints for Hypatia pipe… Mirror to Git Forges #128: Commit 0404ad7 pushed by hyperpolymath
3m 27s main
main
3m 27s
feat(tropical-bridge): wire Isabelle tropical proofs into VCL ProofCo… Mirror to Git Forges #127: Commit 35bd93b pushed by hyperpolymath
3m 0s main
main
3m 0s
chore(licence): clarify MPL-2.0 fallback — PMPL-1.0-or-later preferred Mirror to Git Forges #126: Commit d562fc1 pushed by hyperpolymath
1h 3m 31s main
main
1h 3m 31s
chore(nqc/launcher): regenerate for launch-scaffolder provision deleg… Mirror to Git Forges #125: Commit 3685bc2 pushed by hyperpolymath
4m 13s main
main
4m 13s
feat(nqc/launcher): migrate to launch-scaffolder (process kind) Mirror to Git Forges #124: Commit 48851f9 pushed by hyperpolymath
3m 18s main
main
3m 18s
chore: automated sync of local changes Mirror to Git Forges #123: Commit 4774c56 pushed by hyperpolymath
3m 6s main
main
3m 6s
chore: sync local state and update contractiles Mirror to Git Forges #122: Commit cb75a75 pushed by hyperpolymath
3m 14s main
main
3m 14s
Update README.adoc (#10) Mirror to Git Forges #121: Commit fbac968 pushed by hyperpolymath
3m 6s main
main
3m 6s
feat(verisim-core): productise VerisimCore as shippable Julia package Mirror to Git Forges #120: Commit c7bab75 pushed by hyperpolymath
3m 10s main
main
3m 10s
feat(verisim-modular-experiment): Phase 4+5 closure — experiment closed Mirror to Git Forges #119: Commit b744433 pushed by hyperpolymath
2m 55s main
main
2m 55s
docs(quandledb): add CHANGELOG + docstrings for QuandleSemantic publi… Mirror to Git Forges #118: Commit 240d8ca pushed by hyperpolymath
3m 8s main
main
3m 8s
feat(verisim-modular-experiment): Ed25519, multi-peer, VCL subset Mirror to Git Forges #117: Commit d83e81e pushed by hyperpolymath
3m 2s main
main
3m 2s
docs(verisim-modular-experiment): mark 6→8 regen foldback APPLIED Mirror to Git Forges #116: Commit 7ac61e8 pushed by hyperpolymath
5m 32s main
main
5m 32s
feat(verisim-modular-experiment): Phase 3 runtime validation of Path B Mirror to Git Forges #115: Commit f7fc0e4 pushed by hyperpolymath
3m 17s main
main
3m 17s
docs(quandledb): add EXPLAINME, TEST-NEEDS, PROOF-NEEDS Mirror to Git Forges #114: Commit 4c74d07 pushed by hyperpolymath
3m 13s main
main
3m 13s
docs(verisim-modular-experiment): mark renormalisation foldback APPLIED Mirror to Git Forges #113: Commit 07bca08 pushed by hyperpolymath
3m 1s main
main
3m 1s