[ci] Project typed plans for GitHub Actions - #3582

[ci] Project typed plans for GitHub Actions#3582

joshlf wants to merge 1 commit into

Gafg4kvymw7n4xtng6pupyhz5kfrkaj76google/zerocopy:Gafg4kvymw7n4xtng6pupyhz5kfrkaj76from

Gujggzvgefxnk44kuhaoccbp5e6iuv7j7google/zerocopy:Gujggzvgefxnk44kuhaoccbp5e6iuv7j7Copy head branch name to clipboard