Skip to content

Actions: a9lim/blam

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
47 workflow runs
47 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
Rewrite live documentation as current-state contracts CI #40: Commit 214fcd1 pushed by a9lim
2m 32s dev
dev
2m 32s
Reorganize repository by semantic domain CI #39: Commit f619a42 pushed by a9lim
2m 28s dev
dev
2m 28s
docs: current-only pass — docket paragraphs deduplicated, status head… CI #38: Commit 2b6da3a pushed by a9lim
1m 34s dev
dev
1m 34s
oddmin: r6 verdict absorbed — all four revisions ratified, widening l… CI #37: Commit 54ceb14 pushed by a9lim
1m 43s dev
dev
1m 43s
oddmin: r6 build — transfer layer, gated DP driver, four measured dom… CI #36: Commit cdd4610 pushed by a9lim
1m 34s dev
dev
1m 34s
qblc: complement 51 — prediction confirmed, wrapper orbit of 12 witne… CI #35: Commit 5a78a8d pushed by a9lim
1m 27s dev
dev
1m 27s
oddmin r5b: splice discipline ratified — binding, seam, NF-descent ru… CI #34: Commit d0c55c1 pushed by a9lim
1m 25s dev
dev
1m 25s
oddmin_ref foundation: interaction-NFA types, canon laws, mask automa… CI #33: Commit f3c7066 pushed by a9lim
1m 27s dev
dev
1m 27s
docs: docket — oddmin domain r5a-revised, prototype green-lit CI #32: Commit 1641a02 pushed by a9lim
1m 26s dev
dev
1m 26s
docs: SPEC-ODDMIN r5a revision — interaction-NFA domain replaces lang… CI #31: Commit 0cd38dc pushed by a9lim
36s dev
dev
36s
docs: SPEC-ODDMIN — buildable stage-1a DP spec, domain concretized CI #30: Commit 79bd0d7 pushed by a9lim
1m 4s dev
dev
1m 4s
docs: oddmin r4b — trust split confirmed, note absorbs r4 scope + 1b … CI #29: Commit 3d3db78 pushed by a9lim
1m 30s dev
dev
1m 30s
oddmin r4: cnot scoped out (min cnot trace in (22,28]), monitor hardened CI #28: Commit d59fb34 pushed by a9lim
1m 15s dev
dev
1m 15s
docs: ledger complement 50 — √2 exactly 0, sandwich plumbing diversifies CI #27: Commit 387ad68 pushed by a9lim
1m 33s dev
dev
1m 33s
docs: NOTE-GALOIS — T1 proved at paper level, threshold zoo, T2/T3 plans CI #26: Commit 9597689 pushed by a9lim
1m 22s dev
dev
1m 22s
qblc: odd-trace Pauli monitor (oddmin stage 1a validation layer) CI #25: Commit f4acb0b pushed by a9lim
1m 16s dev
dev
1m 16s
docs: ledger 48/49 block + open the √2-theorem lane CI #24: Commit 01411ef pushed by a9lim
1m 25s dev
dev
1m 25s
docs: session close — final state everywhere, next steps parked CI #23: Commit 74eb6c0 pushed by a9lim
1m 51s dev
dev
1m 51s
docs: ledger complement 46/47 — √2-coefficient exactly 0 at both CI #22: Commit c3020c5 pushed by a9lim
1m 27s dev
dev
1m 27s
docs: AGENTS docket — phase-2 instrument live, Lean seed landed, sub-… CI #21: Commit e848a03 pushed by a9lim
1m 10s dev
dev
1m 10s
qblc: qcomplement slice mode — big sizes split into ≤2h runs CI #20: Commit 7f6324e pushed by a9lim
1m 26s dev
dev
1m 26s
Merge pull request #2 from a9lim/dependabot/github_actions/actions/ca… CI #19: Commit ca3019a pushed by a9lim
6m 29s dev
dev
6m 29s
Merge pull request #2 from a9lim/dependabot/github_actions/actions/ca… Release #4: Commit ca3019a pushed by a9lim
1m 29s main
main
1m 29s
Merge pull request #2 from a9lim/dependabot/github_actions/actions/ca… CI #18: Commit ca3019a pushed by a9lim
6m 39s main
main
6m 39s
ci: bump actions/cache from 4 to 6 CI #17: Pull request #2 synchronize by a9lim
8m 9s dependabot/github_actions/actions/cache-6
dependabot/github_actions/actions/cache-6
8m 9s