Skip to content
GitLab
Explore
Sign in
Register
ci: separate lint from test, unify CARGO_HOME
Code
Review changes
Check out branch
Download
Patches
Plain diff
Dmitry Rodionov
requested to merge
dkr/ci-lint
into
master
Jul 10, 2024
Overview
4
Commits
1
Pipelines
15
Changes
1
Expand
Summary
ci: separate lint from test, unify CARGO_HOME
Close:
#357 (closed)
Cherry-pick to: none
Docs follow-up: not necessary
Merge request reports