Skip to content

Added normalization function to make options case-insensitive #4922

Added normalization function to make options case-insensitive

Added normalization function to make options case-insensitive #4922

Triggered via pull request February 19, 2025 11:48
Status Success
Total duration 40s
Artifacts

typecheck.yml

on: pull_request
Typecheck
22s
Typecheck
Fit to window
Zoom out
Zoom in