Repository navigation

fix(ci): close out #43 — record the 9-check triage determinations and fix the CI-hygiene wave (#58–#62) - #63

Merged

hyperpolymath merged 7 commits into

mainfrom

arena/cbd1e29d-smtlib-jl

Oct 10, 2026

Merged

fix(ci): close out #43 — record the 9-check triage determinations and fix the CI-hygiene wave (#58–#62)#63
hyperpolymath merged 7 commits into
mainfrom
arena/cbd1e29d-smtlib-jl

Commits on Oct 10, 2026
- docs: record the #43 check-triage ultraplan and its execution record
  
  hyperpolymath
  and
  arena-agent
  committed
  841076c
- fix(ci): install Z3 on the ubuntu CI legs so solver-backed tests run (#62)
  
  hyperpolymath
  and
  arena-agent
  committed
  cda05cb
- fix(ci): explain the boj-build soft gate and fix the trigger payload (#59)
  
  hyperpolymath
  and
  arena-agent
  committed
  ce3f3db
- fix(docs): retire the stale docs/make.jl (#60)
  
  hyperpolymath
  and
  arena-agent
  committed
  8fbc840
- docs: fill PROJECT_UNIQUE_STRENGTH and retire REQUIRES_INITIALISATION.adoc (#61)
  
  hyperpolymath
  and
  arena-agent
  committed
  a905071
- chore(ci): adopt actions.lock (#58)
  
  hyperpolymath
  and
  arena-agent
  committed
  fb1d6d1
- Update .machine_readable/bot_directives/methodology.a2ml
  
  hyperpolymath
  and
  coderabbitai[bot]
  authored
  5c0c375