tree cd3d65ef203f9bc1116487114ba63ae755177b41
parent 169bae3d10d71b44dd78a25ccddf93688d5abd5e
author jgraham <james@hoppipolla.co.uk> 1508425645 +0100
committer GitHub <noreply@github.com> 1508425645 +0100

Run default jobs in CI even if there aren't any changes. (#7904)

This means that manifest_upload and lint run on master. Although the
lint is not going to do anything at the moment since it only runs on
changed files. In the future we could make it pass --all in this case.