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

Travis check #25

Open
wants to merge 7 commits into
base: master
Choose a base branch
from
Open

Travis check #25

wants to merge 7 commits into from

Conversation

koffie
Copy link
Collaborator

@koffie koffie commented Sep 6, 2017

This fixes #23 . Although I didn't completely manage to eliminate merge conflicts caused by key decreption. The openssl command is still dependent on the repository. It would really be a lot of hassle to also remove that one. I also added a new environtment variable TEST_TRAVIS and added it to the test matrix. This is a test environment that skips the building and caching of sage. This is very useful if one wants to be able to quickly see how travis reacts to different configurations without waiting for sage to build.

@koffie
Copy link
Collaborator Author

koffie commented Sep 6, 2017

@mkoeppe do you have any comments?

@mkoeppe
Copy link
Member

mkoeppe commented Sep 7, 2017

Looks OK to me (haven't tested).

@saraedum
Copy link
Member

saraedum commented Dec 4, 2018

Any reason this hasn't been merged yet?

@seblabbe
Copy link
Collaborator

I am currently at Sage Days 117. There was a demo earlier this week on how to share code and create a package where we used sage_sample. I am now taking a look at all the PR that have been here for years now...

No discussion has never been made about who should merge PRs.

The current PR has conflicts. I let the author or someone else fix them.

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.

Use the build in travis deployment mechanism to deploy to GitHub pages.
4 participants