🌱 fix lint issue #3177

Sign in to view logs

GitHub Actions / PR Type succeeded Oct 10, 2023 in 0s

PR Type in Title

Found 🌱 PR (infra)

Details

Final title:

fix lint issue

View more details on GitHub Actions