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

👷 setup GitHub CI #140

Merged
merged 1 commit into from
Nov 13, 2019
Merged

👷 setup GitHub CI #140

merged 1 commit into from
Nov 13, 2019

Conversation

bpetetot
Copy link
Collaborator

Closes #139

@bpetetot bpetetot self-assigned this Nov 13, 2019
@bpetetot bpetetot force-pushed the feature/github-actions branch 4 times, most recently from 9730231 to c94be28 Compare November 13, 2019 09:43
Copy link
Owner

@frinyvonnick frinyvonnick left a comment

Choose a reason for hiding this comment

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

Awesome ❤️ I need to disable travis once this PR is merged 😄

@bpetetot bpetetot merged commit a7f1228 into master Nov 13, 2019
@bpetetot bpetetot deleted the feature/github-actions branch November 13, 2019 10:17
@@ -0,0 +1,30 @@
name: Test and lint

on: [push]
Copy link
Contributor

Choose a reason for hiding this comment

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

not sure it will be triggered for external contributors 😞 I think you'll need to add the pull_request hook.

Copy link
Collaborator Author

Choose a reason for hiding this comment

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

Indeed, good catch 👍 I'm going to change it with:

on: [push, pull_request]

Copy link
Contributor

Choose a reason for hiding this comment

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

I just noticed that when it's your pull request, the process will run twice 😅 Maybe just using pull_request would work?

Copy link
Collaborator Author

@bpetetot bpetetot Nov 13, 2019

Choose a reason for hiding this comment

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

or maybe something like that:

on:
  pull_request:
  push:
    branches:
      - master

I think it will trigger on all pull_request or when someone push on master.

Copy link
Collaborator Author

Choose a reason for hiding this comment

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

I confirm this one is working

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Move CI to Github actions
3 participants