Skip to content

Added normalization function to make options case-insensitive #4924

Added normalization function to make options case-insensitive

Added normalization function to make options case-insensitive #4924

Triggered via pull request February 19, 2025 13:20
Status Success
Total duration 38s
Artifacts

typecheck.yml

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