Improved typing and reduced duplication #997
Triggered via pull request
August 21, 2023 20:41
MischaPanch
Status
Success
Total duration
1h 2m 23s
Artifacts
–