-
-
Notifications
You must be signed in to change notification settings - Fork 354
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
Move CI to travis-ci.com #3600
Comments
https://docs.travis-ci.com/user/migrate/open-source-repository-migration Looks like guide for moving. Someone with write permissions need to follow these steps and move the repo. |
We now use Travis CI.com https://travis-ci.com/INRIA/spoon/ |
Travis CI is down, message is "Builds have been temporarily disabled for private and public repositories due to a negative credit balance. Please go to the Plan page to replenish your credit balance." Seems like the move was useless |
Sent the following email to support
|
In the meantime, we may set up a pull request builder on our Jenkins a https://ci.inria.fr/sos/. Excited? |
@monperrus For a temporary substitute, the fastest thing would probably be to setup a GitHub Actions workflow. Want me to give it a go? Jenkins is awesome but it is more fiddly. We'd need to both setup the jobs, and add webhooks to integrate with GitHub. |
Yes, that would be great, thanks a lot. |
I'm on it! |
Travis CI will close travis-ci.org, we need to move to travis-ci.com
The text was updated successfully, but these errors were encountered: