Skip to content

Fix the type checking of input arguments.#7

Merged
mrhardman merged 1 commit into
mainfrom
minor-input-fixes
May 21, 2026
Merged

Fix the type checking of input arguments.#7
mrhardman merged 1 commit into
mainfrom
minor-input-fixes

Fix the type checking of input arguments. Use the `where` keyword for…

d9f82a3
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
test (ubuntu-latest)
succeeded May 21, 2026 in 1m 51s