Repository navigation

MIP-0086: ci: a ci-ok job that needs every other job, for ci-rule - #113

Merged

brunogbv merged 3 commits into

mainfrom

Oct 13, 2026

Merged

MIP-0086: ci: a ci-ok job that needs every other job, for ci-rule#113
brunogbv merged 3 commits into
mainfrom
mip-0086/ci-ok

Commits on Oct 13, 2026
- ci: a ci-ok job that needs every other job, for ci-rule
  
  brunogbv
  and
  claude
  committed
  b38e80a
- ci: run the python, static and agents checks inside the CI workflow, under ci-ok
  
  brunogbv
  and
  claude
  committed
  839367d
- docs: point at the CI workflow that now runs python/static/agents
  
  brunogbv
  and
  claude
  committed
  a639d4a