[main] Fix(ci): allow checkout of gated PR head SHA under actions/checkout#3820
Open
prkalle wants to merge 1 commit into
Open
[main] Fix(ci): allow checkout of gated PR head SHA under actions/checkout#3820prkalle wants to merge 1 commit into
prkalle wants to merge 1 commit into