Skip to content

Updating workflow to make linting scripts succeed again#809

Merged
christianlupus merged 2 commits intomasterfrom
fix/linter-scripts
Oct 15, 2021
Merged

Updating workflow to make linting scripts succeed again#809
christianlupus merged 2 commits intomasterfrom
fix/linter-scripts

Commits

Commits on Oct 15, 2021