fix(arithmetization): install GNU time and clear errexit in the weekly zkc metrics jobs - #3721
fix(arithmetization): install GNU time and clear errexit in the weekly zkc metrics jobs#3721OlivierBBB wants to merge 4 commits into
Check failed
There is one commit incorrectly signed off, the check did not pass.
Summary
| Sha | Message | Pass or fail reason | |
|---|---|---|---|
| 🟢 | a5fa8ad | fix(arithmetization): install GNU time for the mea... | Valid sign-off found |
| 🟢 | a71027a | ci(arithmetization): skip the guest artifact downl... | Valid sign-off found |
| 🔴 | 33b459e | fix(arithmetization): authenticate the metrics pus... | No sign-off matches the author or committer |
| 🟢 | 0af2c16 | chore(arithmetization): weekly zkc metrics 2026-W3... | Skipped: sign-off not required in bot commit |
Errors details
No sign-off matches the author or committer
A valid sign-off was found in the commit message, but it doesn't match neither the author nor the committer. Make sure that both the name and email in the sign-off line match the author or committer of the commit.
How to fix missing or invalid sign-offs
Option 1: add remediation commit
Remediation commits are not allowed for this repository. For more details about how to enable them, please see the documentation.
Option 2: fix commits without sign-off
Rebase the branch
If you have a local git environment and meet the criteria below, one option is to rebase the branch and add your Signed-off-by lines in the new commits. Please note that if others have already begun work based upon the commits in this branch, this solution will rewrite history and may cause serious issues for collaborators (described in the git documentation under "The Perils of Rebasing").
Warning
You should only do this if:
- You are the only author of the commits in this branch
- You are absolutely certain nobody else is doing any work based upon this branch
- There are no empty commits in the branch
To add your Signed-off-by line to every commit in this branch:
- Ensure you have a local copy of your branch by checking out the pull request locally via command line.
- In your local branch, run:
git rebase HEAD~4 --signoff - Force push your changes to overwrite the branch:
git push --force-with-lease origin 3698-weekly-metrics-runner-fixes