Remove thing from jenkins.sh

pull/977/head
Mark Haines 8 years ago
parent f55bf46c7c
commit ba64d9fe5a

@ -1,7 +1,5 @@
#! /bin/bash
git rev-parse --abbrev-ref HEAD 2>/dev/null; git describe --exact-match 2>/dev/null; git rev-parse --short HEAD 2>/dev/null;
set -ex
(cd event-schemas/ && ./check_examples.py)

Loading…
Cancel
Save