Skip to content

Rename generic agent hinter to hint_use_agent #215

Rename generic agent hinter to hint_use_agent

Rename generic agent hinter to hint_use_agent #215

Triggered via pull request October 24, 2025 22:38
Status Success
Total duration 48s
Artifacts
Matrix: info-check
Fit to window
Zoom out
Zoom in