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

chore: clean old Travis scripts #2829

Merged
merged 1 commit into from
Dec 10, 2018

Conversation

monperrus
Copy link
Collaborator

cleaning under the carpet of #2782

@surli
Copy link
Collaborator

surli commented Dec 10, 2018

Just to be sure: do we agree that spoon-decompiler is built/tested in the other jobs @nharrand?
Regarding the job with another seed might be great to keep it in some Jenkins job.

@nharrand
Copy link
Collaborator

nharrand commented Dec 10, 2018

Just to be sure: do we agree that spoon-decompiler is built/tested in the other jobs @nharrand?

spoon-decompiler is indeed currently built/tested in chore/travis/travis-verify.sh.
So I think it's fine to remove chore/travis/spoon-decompiler.sh.

@surli surli merged commit c2ffc33 into INRIA:master Dec 10, 2018
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.

3 participants