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

update versions and dates #51

Merged
merged 2 commits into from
May 31, 2017
Merged

update versions and dates #51

merged 2 commits into from
May 31, 2017

Conversation

SethTisue
Copy link
Sponsor Contributor

Scala open source spree, Copenhagen, 2017

@SethTisue
Copy link
Sponsor Contributor Author

@noelwelsh I see a .travis.yml in the repo, but Travis doesn't seem to be enabled in the repo. may I suggest enabling it? if it fails, I can try and help sort it out

@SethTisue
Copy link
Sponsor Contributor Author

Travis seems to be working now, we'll see if it builds though...

@SethTisue
update versions and dates
0424e8b 
at the open source spree in Copenhagen
@SethTisue
use standard Scala not Typelevel Scala
eddd726 
Typelevel Scala was causing the Travis build to fail with unresolved
dependencies. not sure why that would be
@SethTisue
Copy link
Sponsor Contributor Author

the Travis build failures due to Typelevel Scala date back to https://travis-ci.org/underscoreio/doodle/builds/166694990 — but in that run, the failure was because of some -Ypartial-unification thing, not unresolved dependencies

perhaps the unresolved dependencies are because of the move to 2.12.2 — I think Typelevel Scala recently started using a different version number format? in any case, @noelwelsh said (in person) that it's fine to go back to regular Scala

@SethTisue
Copy link
Sponsor Contributor Author

Travis is green now — so I think this is ready for merge?

@noelwelsh
Copy link
Contributor

LGTM! Thanks!

@noelwelsh noelwelsh merged commit 35ccd1c into creativescala:develop May 31, 2017
@SethTisue SethTisue deleted the misc-updates branch May 31, 2017 10:14
@noelwelsh noelwelsh mentioned this pull request May 31, 2017
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@SethTisue @noelwelsh