@bagder 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.
@darkcisum they run for every PR and when pushed to master. As they should. What's to dedupe?
@bagder So you have push only set up for master? Meaning, if you don't open a PR for a feature branch, no builds are executed?
@darkcisum we don't do feature branches, or rather they don't need to run any tests until they become a PR
@darkcisum they run for every PR and when pushed to master. As they should. What's to dedupe?