Email or username:

Password:

Forgot your password?
Top-level
Lukas

@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.

Shows the GitHub Actions run pages saying

ci.yml
on: push
Matrix: build
97 jobs completed

Finalize Coverage Upload

Formatting
Documentation

Matrix: sanitize
3 jobs completed

Matrix: tidy
7 jobs completed
3 comments
daniel:// stenberg://

@darkcisum they run for every PR and when pushed to master. As they should. What's to dedupe?

Lukas

@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?

daniel:// stenberg://

@darkcisum we don't do feature branches, or rather they don't need to run any tests until they become a PR

Go Up