Skip to content

Added normalization function to make options case-insensitive #4923

Added normalization function to make options case-insensitive

Added normalization function to make options case-insensitive #4923

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

typecheck.yml

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