Repository navigation

Fix lint errors - #109

Merged

prashantv merged 2 commits into

mainfrom

Nov 10, 2024

Merged

Fix lint errors#109
prashantv merged 2 commits into
mainfrom
prashant/lint

Commits on Nov 10, 2024
- Fix lint errors
  prashantv
  committed
  72c3c18
- Use `_` to ignore errors
  prashantv
  committed
  fd6dc97