Skip to content

Revert "Add flexibility around server instructions for search-related tools" #1087

Revert "Add flexibility around server instructions for search-related tools"

Revert "Add flexibility around server instructions for search-related tools" #1087

Triggered via pull request October 7, 2025 09:10
Status Success
Total duration 26s
Artifacts

lint.yml

on: pull_request
Fit to window
Zoom out
Zoom in