Skip to content
GitLab
Explore
Sign in
Register
ci: move linting into a separate stage
Code
Review changes
Check out branch
Download
Patches
Plain diff
Georgy Moshkin
requested to merge
gmoshkin/ci-stage-lint
into
master
Jan 26, 2024
Overview
6
Commits
1
Pipelines
2
Changes
1
Expand
Summary
ci: move linting into a separate stage
Ensure that
New code is covered by tests
API is documented
Changelog is up to date
Version is bumped in the appropriate
Cargo.toml
files
Merge request reports