Skip to content

fix(ci): Build Timing Report cannot post its PR comment (pull-requests: write) - #632

Closed
Abraxas1010 wants to merge 1 commit into
Verified-zkEVM:mainfrom
Abraxas1010:fix/build-timing-report-permissions
Closed

fix(ci): Build Timing Report cannot post its PR comment (pull-requests: write)#632
Abraxas1010 wants to merge 1 commit into
Verified-zkEVM:mainfrom
Abraxas1010:fix/build-timing-report-permissions

fix(ci): grant pull-requests write to Build Timing Report comment upsert

22c88ca
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Check Library File Imports
succeeded Jul 10, 2026 in 6s