Are those de-duplicated? How are dealing with push vs PR builds?

#SFML is currently getting ~100 builds, but on a PR it's always duplicated because we can't (easily) get GitHub Actions to ignore PR if it also runs for push.