Jenkins for CI - #1104

Open

manauref wants to merge 72 commits into

mainfrom

agent_tools-jenkins

Commits on Sep 2, 2026

Add a place for agent SKILL files (.agents) and a script to mirror that into .claude and .codex. Place an initial skill which just tells the agent how to navigate our file structure, how to compile…
manauref
committed
1a1afd9
Fix the location of SKILL file (each skill needs to be in a separate folder). Adapt repo-init.sh accordingly (should rename this). Get rid of hardcoded path in SKILL.md
manauref
committed
716319c
Revert write_efit_ltx_miller.py to 595e7425, undoing accidental changes from 1a1afd97f

manauref
and
claude
committed
c1dec76
Add claude/codex folders whose skills are automatically populated from those in .agents.
manauref
committed
31b0117

Commits on Sep 3, 2026

Commits on Sep 4, 2026

Attempt at plugging in runregression to Jenkins CI.
manauref
committed
9df0462
Forgot to add auxiliary files for runregression.
manauref
committed
9d78e8c

Commits on Sep 5, 2026

Commits on Sep 8, 2026

Commits on Sep 9, 2026

Commits on Sep 10, 2026

Commits on Sep 11, 2026