Meta: ensure the IPR check runs on the PR head, not main #3480
ljharb
requested a review
1 year ago
bakkot
commented
on 2024-11-15
ljharb
force pushed
from
726bdbb1
to
75a80e41
1 year ago
bakkot
commented
on 2024-11-15
bakkot
approved these changes
on 2024-11-15
bakkot
commented
on 2024-11-15
ljharb
force pushed
from
75a80e41
to
c7e51b8d
1 year ago
Meta: ensure the IPR check runs on the PR head, not main (#3480)
0b6c5f17
ljharb
force pushed
from
c7e51b8d
to
0b6c5f17
1 year ago
ljharb
requested a review
1 year ago
ljharb
merged
0b6c5f17
into main 1 year ago
ljharb
deleted the fix-ipr branch 1 year ago
Assignees
No one assigned
Labels
meta
ready to merge
Login to write a write a comment.
Login via GitHub