Skip to content

Update linting/formatting dependencies and remove old CI dependencies#349

Merged
james-pre merged 4 commits intojvilk:masterfrom james-pre:masterMar 13, 2023