Skip to content
PR Checks

Merge pull request #115 from Tarquinen/fix/case-insensitive-tool-id-m… #238

Sign in to view logs

Merge pull request #115 from Tarquinen/fix/case-insensitive-tool-id-m…

Merge pull request #115 from Tarquinen/fix/case-insensitive-tool-id-m… #238

Triggered via push December 11, 2025 16:46
@TarquinenTarquinen
pushed 42f3116
master
Status Success
Total duration 18s
Artifacts –

pr-checks.yml

on: push
Type Check, Build & Audit
14s
Type Check, Build & Audit
Fit to window
Zoom out
Zoom in