update lint config and add GitHub Action checks#376
Merged
digi-monkey merged 4 commits intodigi-monkey:masterfrom Dec 15, 2023
ahonn:update-lint
Merged
update lint config and add GitHub Action checks#376digi-monkey merged 4 commits intodigi-monkey:masterfrom ahonn:update-lint
digi-monkey merged 4 commits intodigi-monkey:masterfrom
ahonn:update-lint