Proofs Gate

Workflow runs for Proofs Gate

• docs: kcX is now kyX (#364)

  completed successfully:
  Proofs Gate#350:Commit2874b3fpushedbyhyperpolymath
  main

  Oct 13, 202628s
  More actions for workflow run 350

• docs: kcX is now kyX

  completed successfully:
  Proofs Gate#349:Pull request#364openedbyhyperpolymath
  chore/kcx-renamed-kyx

  Oct 13, 202631s
  More actions for workflow run 349

• Proofs Gate

  completed successfully:
  Proofs Gate#348:Scheduled
  main

  Oct 12, 202624s
  More actions for workflow run 348

• docs(site): mark the Cloudflare Pages paths as historical (#362)

  completed successfully:
  Proofs Gate#347:Commit3df9427pushedbyhyperpolymath
  main

  Oct 9, 202626s
  More actions for workflow run 347

• docs(site): mark the Cloudflare Pages paths as historical

  completed successfully:
  Proofs Gate#346:Pull request#362openedbyhyperpolymath
  docs/historical-pages-paths

  Oct 9, 202627s
  More actions for workflow run 346

• feat(site): serve the site on app.boj-server.net via a wrangler custo…

  completed successfully:
  Proofs Gate#345:Commit3f48830pushedbyhyperpolymath
  main

  Oct 9, 202627s
  More actions for workflow run 345

• feat(site): serve the site on app.boj-server.net via a wrangler custom domain

  completed successfully:
  Proofs Gate#344:Pull request#361openedbyhyperpolymath
  feat/app-subdomain-route

  Oct 9, 202623s
  More actions for workflow run 344

• fix(site): drop host-based redirect rejected by Workers assets (#360)

  completed successfully:
  Proofs Gate#343:Commitff9bdd2pushedbyhyperpolymath
  main

  Oct 8, 202628s
  More actions for workflow run 343

• fix(site): drop host-based redirect rejected by Workers assets

  completed successfully:
  Proofs Gate#342:Pull request#360openedbyhyperpolymath
  fix/workers-redirects

  Oct 8, 202627s
  More actions for workflow run 342

• fix(mcp-bridge): refuse undeclared arguments on every tool (#359)

  completed successfully:
  Proofs Gate#341:Commit68c9e96pushedbyhyperpolymath
  main

  Oct 8, 202625s
  More actions for workflow run 341

• fix(mcp-bridge): refuse undeclared arguments on every tool

  completed successfully:
  Proofs Gate#340:Pull request#359openedbyhyperpolymath
  fix/enforce-input-schema

  Oct 8, 20261m 3s
  More actions for workflow run 340

• fix(just): drop duplicate guix-shell recipe so the Justfile parses (#…

  completed successfully:
  Proofs Gate#339:Commit7dd5897pushedbyhyperpolymath
  main

  Oct 7, 20261m 1s
  More actions for workflow run 339

• fix(just): drop duplicate guix-shell recipe so the Justfile parses

  completed successfully:
  Proofs Gate#338:Pull request#358openedbyhyperpolymath
  fix/justfile-duplicate-guix-shell

  Oct 7, 202633s
  More actions for workflow run 338

• docs: stop presenting .machine_readable/6a2 as current state (#357)

  completed successfully:
  Proofs Gate#337:Commit4d77913pushedbyhyperpolymath
  main

  Oct 7, 202625s
  More actions for workflow run 337

• docs: stop presenting .machine_readable/6a2 as current state

  completed successfully:
  Proofs Gate#336:Pull request#357openedbyhyperpolymath
  docs/retire-6a2-refs

  Oct 7, 202626s
  More actions for workflow run 336

• test(e2e): assert menu tiers match manifests, not that Teranga is non…

  completed successfully:
  Proofs Gate#335:Commite574569pushedbyhyperpolymath
  main

  Oct 7, 202630s
  More actions for workflow run 335

• test(e2e): assert menu tiers match manifests, not that Teranga is non-empty

  completed successfully:
  Proofs Gate#334:Pull request#356openedbyhyperpolymath
  fix/e2e-tier-menu-assert

  Oct 7, 202635s
  More actions for workflow run 334

• fix(zig): port the boj-invoke CLI to Zig 0.16 process.Init (#355)

  completed successfully:
  Proofs Gate#333:Commit8318558pushedbyhyperpolymath
  main

  Oct 7, 202630s
  More actions for workflow run 333

• fix(zig): port the boj-invoke CLI to Zig 0.16 process.Init

  completed successfully:
  Proofs Gate#332:Pull request#355openedbyhyperpolymath
  fix/zig-invoke-0.16

  Oct 7, 202631s
  More actions for workflow run 332

• fix(zig): use the Io awake clock in the bench harness (Zig 0.16) (#354)

  completed successfully:
  Proofs Gate#331:Commit8b62444pushedbyhyperpolymath
  main

  Oct 7, 202629s
  More actions for workflow run 331

• fix(zig): use the Io awake clock in the bench harness (Zig 0.16)

  completed successfully:
  Proofs Gate#330:Pull request#354openedbyhyperpolymath
  fix/zig-bench-0.16

  Oct 7, 202638s
  More actions for workflow run 330

• chore(release): align every version declaration on 0.5.0 (#353)

  completed successfully:
  Proofs Gate#329:Commit10f10bfpushedbyhyperpolymath
  main

  Oct 7, 202622s
  More actions for workflow run 329

• chore(release): align every version declaration on 0.5.0

  completed successfully:
  Proofs Gate#328:Pull request#353openedbyhyperpolymath
  chore/align-version-0.5.0

  Oct 7, 202629s
  More actions for workflow run 328

• docs(affirmation): affirm Idris2 0.8.0, trusted base and Zig break by…

  completed successfully:
  Proofs Gate#327:Commitc06fac8pushedbyhyperpolymath
  main

  Oct 7, 202633s
  More actions for workflow run 327

• docs(affirmation): affirm Idris2 0.8.0, trusted base and Zig break by local run

  completed successfully:
  Proofs Gate#326:Pull request#352openedbyhyperpolymath
  docs/affirmation-pinned-toolchain

  Oct 7, 202630s
  More actions for workflow run 326