Skip to content

Change readme #857

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

Merged
merged 6 commits into from
Oct 23, 2015
Merged

Change readme #857

merged 6 commits into from
Oct 23, 2015

Conversation

odersky
Copy link
Contributor

@odersky odersky commented Oct 23, 2015

Review by @smarter @DarkDimius

Also: The builds status currently points at Travis but it should be the new jenkins build. Can one of you fix that?

Thanks

  • Martin

@smarter
Copy link
Member

smarter commented Oct 23, 2015

LGTM, I can't help with Jenkins but I suggest adding a link to the gitter room: https://gitter.im/lampepfl/dotty

@DarkDimius
Copy link
Contributor

Also: The builds status currently points at Travis but it should be the new jenkins build. Can one of you fix that?

This needs a module to be installed in Jekins. I'll contact @adriaanm and see if we could do something here.

DarkDimius added a commit that referenced this pull request Oct 23, 2015
@DarkDimius DarkDimius merged commit 83b6bcf into scala:master Oct 23, 2015
@adriaanm
Copy link
Contributor

We have https://wiki.jenkins-ci.org/display/JENKINS/Embeddable+Build+Status+Plugin installed -- could that work? I think @retronym knows more about it.

@smarter
Copy link
Member

smarter commented Oct 23, 2015

Another suggestion: adding links to the talks on Dotty:

@DarkDimius
Copy link
Contributor

@adriaanm, the current jobs setup does not track what the current master is. It only tracks pull-requests against master. Using last build status of https://scala-ci.typesafe.com/view/dotty/job/dotty-master-validate-main/ does not cut it.

@odersky
Copy link
Contributor Author

odersky commented Oct 23, 2015

Good point. We should make a page for that.

On Fri, Oct 23, 2015 at 4:59 PM, Guillaume Martres <notifications@github.com

wrote:

Another suggestion: adding links to the talks on Dotty:


Reply to this email directly or view it on GitHub
#857 (comment).

Martin Odersky
EPFL

@smarter
Copy link
Member

smarter commented Oct 23, 2015

Good point. We should make a page for that.

For now, I've added them to the top of https://github.com/lampepfl/dotty/wiki/Getting-Started which is linked from the README.

@allanrenucci allanrenucci deleted the change-readme branch December 14, 2017 16:58
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.

5 participants