Skip to content

[Merged by Bors] - fixed type errors #479

[Merged by Bors] - fixed type errors

[Merged by Bors] - fixed type errors #479

Triggered via pull request June 19, 2023 09:32
Status Success
Total duration 37s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

reviewdog.yaml

on: pull_request
Fit to window
Zoom out
Zoom in