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

Plant CI #50

Open
wants to merge 2 commits into
base: tisch-merge
Choose a base branch
from
Open

Plant CI #50

wants to merge 2 commits into from

Commits on Jan 1, 2017

  1. plant CI

    @lucafavatella
    lucafavatella committed Jan 1, 2017
    Configuration menu
    Copy the full SHA
    bcdb598 View commit details
    Browse the repository at this point in the history

  2. teach merge.py script to exit with non-0 exit status if any failure 

    Also delete unused code in merge.py wrt skipping, in order to avoid
deciding what exit status to return in case of no failures but a skip.
    @lucafavatella
    lucafavatella committed Jan 1, 2017
    Configuration menu
    Copy the full SHA
    d191f50 View commit details
    Browse the repository at this point in the history