BoJ Server Build Trigger

Workflow runs for BoJ Server Build Trigger

• feat(assail): line-anchor Lean/Isabelle sorry findings so inline mark…

  completed successfully:
  BoJ Server Build Trigger#334:Commit36f1055pushedbyhyperpolymath
  main

  Nov 10, 20263m 23s
  More actions for workflow run 334

• feat(publish): prototype generation-directory publish (not wired), wi…

  completed successfully:
  BoJ Server Build Trigger#333:Commitd4a68edpushedbyhyperpolymath
  main

  Nov 9, 202615s
  More actions for workflow run 333

• fix(abi): type-check the Idris2 proofs in CI and re-prove line-commen…

  completed successfully:
  BoJ Server Build Trigger#332:Commite12b823pushedbyhyperpolymath
  main

  Nov 9, 202613s
  More actions for workflow run 332

• fix(assail): refuse an unwritable KYAML copy or sidecar before replac…

  completed successfully:
  BoJ Server Build Trigger#331:Commit671c3a9pushedbyhyperpolymath
  main

  Nov 9, 20262m 21s
  More actions for workflow run 331

• fix(deps): move futures-util to 0.3.34, dropping pin-utils (#273)

  completed successfully:
  BoJ Server Build Trigger#330:Commit39db4e3pushedbyhyperpolymath
  main

  Nov 9, 20269s
  More actions for workflow run 330

• Fix recon's real baseline and simplify ledger verification (#271)

  completed successfully:
  BoJ Server Build Trigger#329:Commitf2a6a70pushedbyhyperpolymath
  main

  Nov 7, 20268s
  More actions for workflow run 329

• Replace legacy Python CI helpers with tested Rust equivalents (#270)

  completed successfully:
  BoJ Server Build Trigger#328:Commit9d823cbpushedbyhyperpolymath
  main

  Nov 7, 20267s
  More actions for workflow run 328

• Finish Windows portability review controls without Git-dependent Carg…

  completed successfully:
  BoJ Server Build Trigger#327:Commitacc7a95pushedbyhyperpolymath
  main

  Nov 7, 20269s
  More actions for workflow run 327

• Fix Windows checkout paths and prevent non-portable mass-panic report…

  completed successfully:
  BoJ Server Build Trigger#326:Commit858dfebpushedbyhyperpolymath
  main

  Nov 7, 202611s
  More actions for workflow run 326

• test(security): annotate intentional hardcoded-password detection fix…

  completed successfully:
  BoJ Server Build Trigger#325:Commit6d3d52apushedbyhyperpolymath
  main

  Nov 6, 20268s
  More actions for workflow run 325

• fix(config): require TOML parser in default and HTTP builds (#265)

  completed successfully:
  BoJ Server Build Trigger#324:Commitdb8faeapushedbyhyperpolymath
  main

  Nov 6, 202611s
  More actions for workflow run 324

• chore(deps): bump the rust-minor group across 1 directory with 3 upda…

  completed successfully:
  BoJ Server Build Trigger#323:Commitd4cef9dpushedbyhyperpolymath
  main

  Nov 5, 20262m 12s
  More actions for workflow run 323

• feat(assail): write a KYAML copy beside the sealed JSON report (#264)

  completed successfully:
  BoJ Server Build Trigger#322:Commit96be279pushedbyhyperpolymath
  main

  Nov 5, 20261m 47s
  More actions for workflow run 322

• chore(deps): bump the actions group across 1 directory with 4 updates…

  completed successfully:
  BoJ Server Build Trigger#321:Commitebc984dpushedbyhyperpolymath
  main

  Nov 5, 20261m 44s
  More actions for workflow run 321

• chore(deps): bump toml_edit from 0.23.10+spec-1.0.0 to 0.25.0+spec-1.…

  completed successfully:
  BoJ Server Build Trigger#320:Commit9943a0cpushedbyhyperpolymath
  main

  Nov 5, 20261m 7s
  More actions for workflow run 320

• feat(attest): verify --report and --require-bound (#263)

  completed successfully:
  BoJ Server Build Trigger#319:Commit1b766abpushedbyhyperpolymath
  main

  Nov 5, 202622s
  More actions for workflow run 319

• fix(deps): bump ijson-jcs to 03df9ed for RFC 8785 number ties (#261)

  completed successfully:
  BoJ Server Build Trigger#318:Commit41966b7pushedbyhyperpolymath
  main

  Nov 5, 20269s
  More actions for workflow run 318

• fix(attestation): hash evidence counts as u64 on every platform (#262)

  completed successfully:
  BoJ Server Build Trigger#317:Commit0a4159bpushedbyhyperpolymath
  main

  Nov 5, 202612s
  More actions for workflow run 317

• fix(assail): execute configuration and build input coverage (#258)

  completed successfully:
  BoJ Server Build Trigger#316:Commitfb153capushedbyhyperpolymath
  main

  Nov 5, 20267s
  More actions for workflow run 316

• fix(deps): move clipboard-win off a yanked release (#259)

  completed successfully:
  BoJ Server Build Trigger#315:Commit5175a68pushedbyhyperpolymath
  main

  Nov 4, 20269s
  More actions for workflow run 315

• fix(ci): supply release-tag version to pinned Idris installer (#257)

  completed successfully:
  BoJ Server Build Trigger#314:Commit44eca00pushedbyhyperpolymath
  main

  Nov 4, 202610s
  More actions for workflow run 314

• Fix Patch Bridge lockfile discovery and empty reports (#254)

  completed successfully:
  BoJ Server Build Trigger#313:Commitbe6ac46pushedbyhyperpolymath
  main

  Oct 28, 202611s
  More actions for workflow run 313

• fix(k9): validate K9 with the canonical validator (#253)

  completed successfully:
  BoJ Server Build Trigger#312:Commit410a8f8pushedbyhyperpolymath
  main

  Oct 27, 20268s
  More actions for workflow run 312

• ci(actions-lock): add the missing SLSA generator record (#251)

  completed successfully:
  BoJ Server Build Trigger#311:Commitc34d76apushedbyhyperpolymath
  main

  Oct 27, 20267s
  More actions for workflow run 311

• fix(kyaml): escape U+2028 and U+2029 so keys stay parseable by yq (#250)

  completed successfully:
  BoJ Server Build Trigger#310:Commitac68bbapushedbyhyperpolymath
  main

  Oct 26, 20269s
  More actions for workflow run 310