trying fix for mypy error
Failed
Florstedt, Julius
created pipeline for commit
8aa3cb42
, finished
1 related merge request: !36 Resolve "Automatic Property Testing"
1 minute 20 seconds, queued for 2 seconds