Skip to content

Fixed a small problem for a wrong type hint of the filters parameter. #1135

Fixed a small problem for a wrong type hint of the filters parameter.

Fixed a small problem for a wrong type hint of the filters parameter. #1135

Triggered via pull request December 31, 2023 16:31
Status Success
Total duration 34s
Artifacts

type_completeness.yml

on: pull_request
test-type-completeness
25s
test-type-completeness
Fit to window
Zoom out
Zoom in