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

Cargo builders #74

Merged
merged 2 commits into from Jun 20, 2015
Merged

Cargo builders #74

merged 2 commits into from Jun 20, 2015

Commits on Jun 19, 2015

  1. Use a sensible project identifier.

    GitHub does not set project and there seems to be no way to have GitHub
    set custom things. This uses the org_or_username/repo as the project name.
    metajack committed Jun 19, 2015
  2. Add Cargo builders.

    To use these builders, a webhook to http://build.servo.org:9010/ for
    Push notifications should be set up for the GitHub project.
    metajack committed Jun 19, 2015
You can’t perform that action at this time.