Skip to content

fix up type in 3.9 branch after merge #732

fix up type in 3.9 branch after merge

fix up type in 3.9 branch after merge #732

Triggered via pull request November 14, 2023 13:31
Status Success
Total duration 51s
Artifacts

arethetypeswrong.yml

on: pull_request
Are the types wrong
40s
Are the types wrong
Fit to window
Zoom out
Zoom in