Skip to content

update AGENTS.md to include GitHub CLI check - #664

Merged
moritz-gross merged 1 commit into
daisy:mainfrom
moritz-gross:add-gh-cli-to-agents-md
Aug 9, 2026
Merged

update AGENTS.md to include GitHub CLI check#664
moritz-gross merged 1 commit into
daisy:mainfrom
moritz-gross:add-gh-cli-to-agents-md

update AGENTS.md to include GitHub CLI check

a42901b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Build and fuzz (with MathML dict + corpus cache)
succeeded Aug 10, 2026 in 2h 22m 28s