c2c1dd4
Checkout the pull-request's head so we actually test the PR Signed-off-by: Pierre-Yves Chibon <pingou@pingoured.fr>