Skip to content

Aeon column: pin runs to Skill Runner + fix Source dropdown clipping#105

Merged
aaronjmars merged 1 commit into
mainfrom
fix/aeon-column-polish
Jul 13, 2026
Merged

Aeon column: pin runs to Skill Runner + fix Source dropdown clipping#105
aaronjmars merged 1 commit into
mainfrom
fix/aeon-column-polish

Conversation

@aaronjmars

Copy link
Copy Markdown
Collaborator

Follow-up polish on the aeon column (#104).

Skill Runner only

github-runs now reads GitHub's per-workflow endpoint …/actions/workflows/aeon.yml/runs instead of the repo-wide run list. The scheduler (every 5 min) and messages workflows fire far more often, so a repo-wide page + client-side filter buried skill runs entirely. The dedicated endpoint returns only Skill Runner runs. The now-unused "Workflow" config field is removed.

Source dropdown clipping

The Select popup is w-(--anchor-width) (= trigger width) and the trigger was w-fit, so long labels overflowed a narrow popup and clipped. Fixed by making the trigger w-full and shortening the labels (Workflow runs (GitHub)Skill runs (GitHub), Feed cards (dashboard)Feed cards (local), Runs (dashboard)Runs (local)).

Verification

npm run build · tsc --noEmit · eslint clean. Live: github-runs against the template repo returns a clean empty result (aeon.yml has 0 runs there — it's meant to be forked); confirmed via gh api that every field the mapper reads is populated on real run objects.

…n clipping

- github-runs now reads the per-workflow endpoint (/actions/workflows/aeon.yml/
  runs) instead of the repo-wide list, so it shows only Skill Runner runs. The
  scheduler/messages workflows fire far more often and would otherwise bury skill
  runs off the first page. Drops the now-unused "Workflow" config field.
- Source select: make the trigger w-full (the popup is w-(--anchor-width), so a
  w-fit trigger clipped long items) and shorten the labels.
@aaronjmars aaronjmars merged commit f94d212 into main Jul 13, 2026
2 checks passed
@aaronjmars aaronjmars deleted the fix/aeon-column-polish branch July 13, 2026 17:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant