Skip to content

fix(docs): correct CI task-runner commands in ci.md - #3990

Merged
juliusmarminge merged 1 commit into
pingdotgg:mainfrom
kridaydave:fix/docs-ci-task-runner
Jul 15, 2026
Merged

fix(docs): correct CI task-runner commands in ci.md#3990
juliusmarminge merged 1 commit into
pingdotgg:mainfrom
kridaydave:fix/docs-ci-task-runner

fix(docs): correct CI task-runner commands in ci.md

304d827
Select commit
Loading
Failed to load commit list.
MacroscopeApp / Macroscope - Correctness Check succeeded Jul 15, 2026 in 18s

No issues identified (1 code object reviewed).

• Merge Base: c1ec191
• Head: 304d827

Details

✅ File Path Comments Posted Reason
✅ docs/operations/ci.md 0
View more details on MacroscopeApp