Skip to content
GitLab
Explore
Sign in
Update CI to run formatting and linting
Code
Review changes
Check out branch
Download
Patches
Plain diff
Eduardo Rodrigues
requested to merge
erodrigu-linting
into
master
Feb 10, 2021
Overview
7
Commits
5
Pipelines
8
Changes
2
Expand
Just as done for Analysis.
Edited
Feb 10, 2021
by
Eduardo Rodrigues
Merge request reports
Loading