mirror of
https://github.com/rennf93/roboco.git
synced 2026-08-03 07:23:24 +02:00
42f8a5d18e
* fix(board): give Board Program explorers a nothing_to_propose exit Every propose_* verb requires at least one item, so an explorer that legitimately found nothing — Barfly with no worthwhile X conversations, Coroner with no autopsy subject — had no way to close its exploration task. It declined, called i_am_idle(), and the task stayed PENDING forever: the dispatcher re-matched it every tick and respawned the board agent (~$0.61 a spawn, ~3 per 5-minute respawn-breaker cooldown window, indefinitely), and BoardProgramEngine's one-open-cycle dedup wedged that whole program shut, since the ledger row only closes once its exploration task goes terminal. nothing_to_propose(task_id, reason) is the explicit exit. task_id is required rather than inferred: one explorer role owns several independently-cadenced programs (head_marketing owns six) and each assigns its exploration task to the same agent, so several are open at once by design and guessing "the caller's oldest" completes the WRONG cycle — stamping its reason onto an unrelated program's ledger while the task actually being worked stays wedged. Resolution validates the named task exists, carries a registered program source, is assigned to the caller, and is non-terminal, then gates on the program's declared explorer role from the registry, so a program registered later needs no edit here. The reason lands on board_program_cycles (migration 089) and renders into the next cycle's LEARN context, replacing a bare "proposed 0, approved 0" with why. That write runs in its own savepoint: it flushes on the same session as the completion, and a bare try/except around a same-session flush leaves the transaction pending-rollback, so a DB blip there would discard the completion at the post-response commit while the verb reported success. All fourteen exploration prompts offer the exit, pinned by a registry-parametrized test that fails when a future program is unwired. * ci: fire PR checks on slave-based PRs, not master alone All five gating workflows declared `pull_request: branches: [master]`, but every fleet PR targets slave — cell->root, root->slave, and the CEO's own. So `pull_request` never fired for any of them, and their only coverage was the `push` trigger, which is gated on branch PREFIX (feature/bug/chore/docs/hotfix). A branch named anything else got zero checks — not a red run, an absent one — and a PR with no required check present merges on a false green. PR #711 shipped that way on a `fix/` branch. Basing on the branch a PR merges INTO rather than what its head is named makes coverage independent of branch naming, so a non-conforming prefix can only ever cost the redundant push run, never the whole gate. The same five also omitted slave from `push` (ci.yml aside, which added it for the release gate's fail-closed CI read), so the panel suite, both CodeQL analyses, and the e2e smoke never ran on the trunk master is cut from. --------- Co-authored-by: Renn F <rennf93@users.noreply.github.com>
73 lines
2.2 KiB
YAML
73 lines
2.2 KiB
YAML
name: CodeQL Python
|
|
|
|
on:
|
|
push:
|
|
# master plus fleet task branches: `pull_request`'s synchronize trigger
|
|
# doesn't reliably fire when a revision lands on a PR head via the
|
|
# merge API (see ci.yml for the live-proven receipts); `push` does, so
|
|
# it's the redundant trigger for a required check that must not go
|
|
# ABSENT on a fleet-authored PR revision.
|
|
branches: [master, slave, 'feature/**', 'bug/**', 'chore/**', 'docs/**', 'hotfix/**']
|
|
paths:
|
|
- 'roboco/**'
|
|
- 'agents/**'
|
|
- 'alembic/**'
|
|
- 'scripts/**'
|
|
- 'pyproject.toml'
|
|
- '.github/workflows/code-ql.yml'
|
|
pull_request:
|
|
# Fleet PRs target the dev branch — see ci.yml's pull_request note.
|
|
branches: [master, slave]
|
|
paths:
|
|
- 'roboco/**'
|
|
- 'agents/**'
|
|
- 'alembic/**'
|
|
- 'scripts/**'
|
|
- 'pyproject.toml'
|
|
- '.github/workflows/code-ql.yml'
|
|
schedule:
|
|
- cron: '0 0 * * 1'
|
|
workflow_dispatch:
|
|
|
|
# A fleet branch that's also an open PR head can get both a `push` and a
|
|
# `pull_request` run for the same commit; cancel the older one instead of
|
|
# burning two runners on identical work. `head_ref` (set only for
|
|
# pull_request) and `ref_name` (the short branch name, valid for push) both
|
|
# resolve to the SAME branch name, so the two event shapes share one group —
|
|
# plain `github.ref` would NOT (it's `refs/pull/<n>/merge` for pull_request
|
|
# vs `refs/heads/<branch>` for push, so it'd never collapse them).
|
|
concurrency:
|
|
group: ${{ github.workflow }}-${{ github.head_ref || github.ref_name }}
|
|
cancel-in-progress: true
|
|
|
|
jobs:
|
|
analyze:
|
|
name: Analyze (${{ matrix.language }})
|
|
runs-on: ubuntu-latest
|
|
permissions:
|
|
actions: read
|
|
contents: read
|
|
security-events: write
|
|
|
|
strategy:
|
|
fail-fast: false
|
|
matrix:
|
|
include:
|
|
- language: python
|
|
build-mode: none
|
|
|
|
steps:
|
|
- name: Checkout code
|
|
uses: actions/checkout@v7
|
|
|
|
- name: Initialize CodeQL
|
|
uses: github/codeql-action/init@v4
|
|
with:
|
|
languages: ${{ matrix.language }}
|
|
build-mode: ${{ matrix.build-mode }}
|
|
|
|
- name: Perform CodeQL Analysis
|
|
uses: github/codeql-action/analyze@v4
|
|
with:
|
|
category: "/language:${{ matrix.language }}"
|