Piotr Wójcik f5a960da8f .github/workflows: compare PR branch to master
Since 4410de52c1 we fetch all origin branches, and FETCH_HEAD can point
elsewhere
2023-01-10 18:07:35 -05:00
..
2022-04-07 20:27:41 +02:00
2021-04-26 18:49:15 +02:00