File tree Expand file tree Collapse file tree 1 file changed +2
-4
lines changed Expand file tree Collapse file tree 1 file changed +2
-4
lines changed Original file line number Diff line number Diff line change @@ -88,8 +88,7 @@ if [ $OVERRIDE_RELEASE = 1 ]; then
88
88
# Check that the current HEAD is downstream from PREVIOUS_RELEASE_SHA
89
89
if ! git merge-base --is-ancestor " $PREVIOUS_RELEASE_SHA " " $CURRENT_SHA " ; then
90
90
echo " Error: The current HEAD is not downstream from the previous release"
91
- echo " Ignoring"
92
- # exit 1
91
+ exit 1
93
92
fi
94
93
else
95
94
# Get the latest release of codeml-automodel
111
110
# Check that REVISION is downstream from PREVIOUS_RELEASE_SHA
112
111
if ! git merge-base --is-ancestor " $PREVIOUS_RELEASE_SHA " " $REVISION " ; then
113
112
echo " Error: The codeql version $REVISION is not downstream of the query-pack version $PREVIOUS_RELEASE_SHA "
114
- echo " Ignoring"
115
- # exit 1
113
+ exit 1
116
114
fi
117
115
# Get the version of the codeql code specified by the codeml-automodel release
118
116
git checkout " $REVISION "
You can’t perform that action at this time.
0 commit comments