Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
SoSy-Lab
Benchmarking
SV-Witnesses
Merge requests
!39
Create python package for linter
Code
Review changes
Check out branch
Download
Patches
Plain diff
Sven Umbricht
requested to merge
linter-package
into
main
Jul 22, 2021
Overview
42
Commits
13
Pipelines
0
Changes
8
Expand
This PR intends to address
#27
. I have never distributed a package before, so feedback is welcome.
Merge request reports