Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Run CI only once on PR from another branch of the repo #518

Merged
merged 1 commit into from Jan 10, 2020
Merged

Run CI only once on PR from another branch of the repo #518

merged 1 commit into from Jan 10, 2020

Conversation

Lctrs
Copy link
Contributor

@Lctrs Lctrs commented Jan 10, 2020

This effectively restricts CI on push to branch or tags only.

This effectively restricts CI on push to branch or tags only.
Copy link
Member

@Ocramius Ocramius left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I don't think we should optimise this: I'm fine with merging as soon as I see green on a simulated merge

@@ -2,6 +2,8 @@ os: linux
dist: xenial
language: php

if: type != push OR branch = master OR branch =~ /^v?\d+\.\d+(\.\d+)?(-\S*)?$/
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Not sure if this optimisation is worth it, considering that the repo doesn't get frequent/daily contributions

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I got annoyed by Dependabot running CI twice on every opened PR/rebase too much maybe.

And well, it's also good for the planet™

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Makes sense, but you shall be pinged if this doesn't work as expected :-P

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

And I'll answer the call 😎

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks! ❤️

@Ocramius Ocramius added this to the 4.0.0 milestone Jan 10, 2020
@Ocramius Ocramius self-assigned this Jan 10, 2020
@Ocramius Ocramius added dependencies Pull requests that update a dependency file enhancement labels Jan 10, 2020
@Ocramius Ocramius merged commit 7b2c7cb into Roave:master Jan 10, 2020
@Lctrs Lctrs deleted the patch-1 branch January 10, 2020 16:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
dependencies Pull requests that update a dependency file enhancement
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants