tweag / funflow

Functional workflows

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Don't run CI twice on PRs

sir4ur0n opened this issue · comments

Current CI runs twice on PRs, e.g. for #194
image

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

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)

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

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 😁 I agree with you (all branches should be CI-built).

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

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.

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?