Skip to content

add linter and add linting in ci#1

Merged
fadeev merged 2 commits into
masterfrom
marko/add_linting
Jun 24, 2020
Merged

add linter and add linting in ci#1
fadeev merged 2 commits into
masterfrom
marko/add_linting

remove extra settings

805fc1e
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs