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.

Sign up for GitHub

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

Jump to bottom

WIP: some Travis tweaks #65

Closed
wants to merge 2 commits into from
Closed

WIP: some Travis tweaks #65

wants to merge 2 commits into from

Conversation

fingolfin
Copy link
Member

  • switch to Ubuntu 16.04 "xenial" base image
  • this has newer binutils 2.26, so perhaps those are new enough? If not, then instead of 2.27, why not go to something even newer?
  • rely on default scripts to do coverage reporting
  • this means that the - while sleep 30; do echo "still alive"; done & is gone, which probably then needs to be added back sigh, but I'll look into that later, if I have more time

@fingolfin
Copy link
Member Author

Obsolete

@fingolfin fingolfin closed this Nov 27, 2018
@fingolfin fingolfin deleted the mh/travis branch November 27, 2018 08:15
fingolfin pushed a commit to fingolfin/Singular.jl that referenced this pull request Jun 6, 2023
@tthsqe12 @fingolfin
Merge pull request oscar-system#65 from tthsqe12/stdQt
22649b1 
Don't corrupt the ring data. Also, incidentally use lex.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@wbhart wbhart Awaiting requested review from wbhart

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@fingolfin