Skip to content

cifuzz: use pull_request.number instead of GITHUB_REF#3845

Merged
jonathanmetzman merged 1 commit intogoogle:masterfrom evverx:pull_request.numberMay 19, 2020
+14-7

Commits

Commits on May 19, 2020