-
Notifications
You must be signed in to change notification settings - Fork 0
Fix benchmark #11
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 benchmark #11
Changes from all commits
File filter
Filter by extension
Conversations
Jump to
Diff view
Diff view
There are no files selected for viewing
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,6 +1,5 @@ | ||
| --- | ||
| IndentWidth: 4 | ||
| Language: Cpp | ||
| Standard: Latest | ||
| UseCRLF: false | ||
| UseTab: Never | ||
|
|
||
| Original file line number | Diff line number | Diff line change | ||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
|
@@ -4,11 +4,11 @@ on: | |||||||||||||||||
| workflow_dispatch: | ||||||||||||||||||
|
|
||||||||||||||||||
| permissions: | ||||||||||||||||||
| contents: read | ||||||||||||||||||
| contents: write | ||||||||||||||||||
|
|
||||||||||||||||||
| concurrency: | ||||||||||||||||||
| group: ${{ github.workflow }}-${{ github.ref }} | ||||||||||||||||||
| cancel-in-progress: true | ||||||||||||||||||
| group: benchmark-pages | ||||||||||||||||||
| cancel-in-progress: false | ||||||||||||||||||
|
Comment on lines
+10
to
+11
|
||||||||||||||||||
| group: benchmark-pages | |
| cancel-in-progress: false | |
| group: benchmark-pages-${{ github.ref }} | |
| cancel-in-progress: true |
Copilot
AI
Dec 21, 2025
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.
The bash command uses "cp -R" with "|| true" which silently ignores all copy failures. If there are permission issues, missing files, or other problems during the copy operation, they will be suppressed without any indication. Consider using proper error handling or at least logging a warning when the copy fails, so that issues can be diagnosed.
| cp -R "$d"/* "${OUT_DIR}/${name}"/ || true | |
| # Only attempt to copy if the artifact directory is non-empty. | |
| if compgen -G "$d/*" > /dev/null; then | |
| if ! cp -R "$d"/* "${OUT_DIR}/${name}/"; then | |
| echo "warning: failed to copy contents of '$d' to '${OUT_DIR}/${name}/'" >&2 | |
| exit 1 | |
| fi | |
| fi |
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.
The workflow permissions have been changed from "contents: read" to "contents: write". While this is necessary for the new publish-pages job to push to the gh-pages branch, it grants write access to the entire workflow, including the linux and windows jobs which only need read access. Consider using job-level permissions instead to follow the principle of least privilege, granting write access only to the publish-pages job.