Skip to content

Added normalization function to make options case-insensitive #4925

Added normalization function to make options case-insensitive

Added normalization function to make options case-insensitive #4925

Triggered via pull request February 19, 2025 15:22
Status Success
Total duration 56s
Artifacts

typecheck.yml

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