-
Notifications
You must be signed in to change notification settings - Fork 3
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Fix some nits regarding the CI pipeline #40
Conversation
Workflow Status ReportGenerated for commit 8d14589 on Thu Dec 19 16:08:03 UTC 2024. In case of failure, clippy warnings and rustfmt changes (if any) will be indicated as CI check warnings in the file comparison view. Documentation: Read Online Download Coverage Report: Read Online Download Note: Online versions of documentation and coverage reports may not be available indefinitely, especially after the pull request was merged. Code Coverage ReportCoverage target is 80%. Click on the coverage badge to access the full coverage report including a source code view. Expand to view coverage statistics
Total coverage: 54.77% |
7618f1d
to
1219377
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Only one small comment, so I'll approve already.
…O is set - Building docs in the unprivileged pipeline improves security (cargo doc executes the build script, which should not happen in the privileged pipeline). - Only deploying if the CI variable DOCS_AND_COV_REPO is set prevents errors when running the pipeline on a fork that does not have GitHub Pages enabled. - The displayed commit hash in the PR comment should now also be correct.
1219377
to
5838cec
Compare
Moved the documentation build to the unprivileged test.yml pipeline, disabled Pages deployments if the CI variable
DOCS_AND_COV_REPO
is not set.