PR Checks

fix: case-sensitivity bugs in tool metadata lookup and pruned ID matching #106

Sign in to view logs

Triggered via pull request December 3, 2025 08:18

Tarquinen

opened #60

fix/tool-cache-case-sensitivity

Status Success

Total duration 16s

Artifacts –

pr-checks.yml

on: pull_request

Type Check, Build & Audit