Skip to content
GitLab
Explore
Sign in
maint/check_doc_features: Fixes for use with "pub mod restricted discovery"
Code
Review changes
Check out branch
Download
Patches
Plain diff
gabi-250
requested to merge
gabi-250/arti:fix-doc-features
into
main
Aug 06, 2024
Overview
7
Commits
5
Pipelines
3
Changes
2
Expand
This fixes the failing
check_doc_features
job.
Edited
Aug 06, 2024
by
gabi-250
Merge request reports
Loading