Skip to content

Ensuring directory names that look like negated globs are special-cased #263

Ensuring directory names that look like negated globs are special-cased

Ensuring directory names that look like negated globs are special-cased #263

Triggered via push February 23, 2025 16:35
Status Success
Total duration 21s
Artifacts

typecheck.yml

on: push
Typecheck
13s
Typecheck
Fit to window
Zoom out
Zoom in