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

Migrate Travis build into GitHub Actions #297

Closed
erget opened this issue Sep 7, 2020 · 3 comments · Fixed by #335
Closed

Migrate Travis build into GitHub Actions #297

erget opened this issue Sep 7, 2020 · 3 comments · Fixed by #335
Assignees
Labels
GitHub Improvement to how we use GitHub for this repository

Comments

@erget
Copy link
Member

erget commented Sep 7, 2020

As discussed previously with @lesserwhirls in #295 we have the opportunity to improve the maintainability of the Conventions by migrating fully into GitHub Actions, rather than using a combination of Travis and GitHub Actions to build all relevant artefacts. @lesserwhirls has kindly agreed to implement the changes and I'm happy to moderate and assist as per the rules - anybody else who's interested is invited to get involved!

The benefit of doing this will be that builds will take place only in one place, not on both Travis and GitHub Actions. Currently, the build process must be maintained ATM in 2 places, meaning that sometimes changes must be made to 2 files to fix issues.

Associated pull request

None, as yet.

@erget
Copy link
Member Author

erget commented Sep 2, 2021

FYI - this has become somewhat more urgent now, as TravisCI.org has migrated to TravisCI.com and so our Travis jobs aren't completing.

@lesserwhirls
Copy link
Contributor

PR #335 should be good to go - just needs a review I believe.

@sadielbartholomew
Copy link
Member

Sorry all, the delay is my fault as I offered to review #335 but haven't yet done so as it fell off my radar. I have marked down on my TODO list to review it by the end of tomorrow (after which I go on leave for a week or so, so I will definitely have it reviewed by then).

@erget erget closed this as completed in #335 Sep 6, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
GitHub Improvement to how we use GitHub for this repository
Projects
None yet
Development

Successfully merging a pull request may close this issue.

3 participants