fix(arithmetization): install GNU time and clear errexit in the weekly zkc metrics jobs - #3721
Open
OlivierBBB wants to merge 4 commits into
Open
fix(arithmetization): install GNU time and clear errexit in the weekly zkc metrics jobs#3721OlivierBBB wants to merge 4 commits into
OlivierBBB wants to merge 4 commits into
Commits
Commits on Aug 5, 2026
- andcommitted
- andcommitted
- andcommitted
- committed
![lineth-release-bot[bot]](https://avatars.githubusercontent.com/u/273314648?v=4&size=32){kind=avatar}