Skip to content

fix(tools): make RAG file extension detection case-insensitive #4738

fix(tools): make RAG file extension detection case-insensitive

fix(tools): make RAG file extension detection case-insensitive #4738

This workflow is awaiting approval from a maintainer in #6883
Triggered via pull request August 9, 2026 10:57
Status Action required
Total duration
Artifacts
This workflow is awaiting approval from a maintainer in #6883

pr-size.yml

on: pull_request
pr-size
pr-size
Fit to window
Zoom out
Zoom in