Skip to content

chore: speed up linter by using minimal 'flavor'#200

Merged
Ron (rjaegers) merged 2 commits into
mainfrom
feature/speed-up-linter
Nov 9, 2023
Merged

chore: speed up linter by using minimal 'flavor'#200
Ron (rjaegers) merged 2 commits into
mainfrom
feature/speed-up-linter

chore: switch to documentation flavor for linting

a37b2e6
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs