Skip to content

ci: keep build timing report non-blocking when PR comment fails#592

Open
ainta wants to merge 1 commit into
Verified-zkEVM:mainfrom
ainta:ci/timing-report-comment-nonblocking
Open

ci: keep build timing report non-blocking when PR comment fails#592
ainta wants to merge 1 commit into
Verified-zkEVM:mainfrom
ainta:ci/timing-report-comment-nonblocking

Commits

Commits on Jun 26, 2026