funflow Don't run CI twice on PRs

Current CI runs twice on PRs, e.g. for https://github.com/tweag/funflow/pull/194

~~I think what we want is:~~ ~~* Pull request~~ ~~* Push for master only~~

Oct 21 '21 10:10 sir4ur0n

Do as works for the project, but, for the record, I'm not fond of not having a CI on non-PR branches. (this was a lot of negations sorry)

Oct 21 '21 11:10 aspiwack

There is a ticket on github.community about this. Might be useful to find a solution to this.

Oct 21 '21 14:10 aherrmann

I'm not fond of not having a CI on non-PR branches. (this was a lot of negations sorry)

If my boolean logic is still intact :grin: I agree with you (all branches should be CI-built).

Maybe it should be only push? I'm not familiar with Github CI

Oct 27 '21 08:10 sir4ur0n

In my project, I activate the CI on push and PR. And it's built twice on internal PRs. Which is rather unfortunate, but I think is the most helpful to me.

Oct 27 '21 08:10 aspiwack

In my project, I activate the CI on push and PR. And it's built twice on internal PRs.

We do the same for Checker at the moment. To work around this we try to limit the longevity of open PRs so that we aren't triggering the double workflow runs as often (e.g. by only opening draft PRs when a feature is really going to take more than a day or so to implement or pushing batches of commits so that CI only runs on the most recent one). This approach is still a bit wasteful in terms of CI resources though.

I'm kind of thinking that it would be okay to leave this as-is for funflow since we aren't receiving a high volume of PRs at the moment. What do you think, @sir4ur0n?

Oct 27 '21 08:10 dorranh