Skip to content

CI for the backend #2295

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
Closed
smarter opened this issue Apr 23, 2017 · 1 comment
Closed

CI for the backend #2295

smarter opened this issue Apr 23, 2017 · 1 comment
Labels
area:infrastructure itype:enhancement prio:low

Comments

@smarter
Copy link
Member

smarter commented Apr 23, 2017

When a PR is made against the backend repo (https://github.com/lampepfl/scala/tree/sharing-backend), it should automatically run the dotty CI with the backend submodule set to the PR's latest commit.
@liufengyun
Copy link
Contributor

No longer relevant after #5869.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
area:infrastructure itype:enhancement prio:low
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@smarter @liufengyun