/.github/{scripts,workflows}: working through some pr regressions labeling

This commit is contained in:
coffeegoddd
2024-01-11 16:35:18 -08:00
parent 70b785d83e
commit bc65707417
7 changed files with 112 additions and 3 deletions
@@ -32,6 +32,13 @@ if [ -z "$MODE" ]; then
exit 1
fi
if [ -n "$PR_NUMBER" ]; then
if [ -z "$REGRESS_COMP" ]; then
echo "Must set REGRESS_COMP for PR correctness comparisons"
exit 1
fi
fi
# use first 8 characters of VERSION to differentiate
# jobs
short=${VERSION:0:8}
@@ -71,7 +78,8 @@ source \
"$actorprefix" \
"$format" \
"$NOMS_BIN_FORMAT" \
"$issuenumber" > job.json
"$issuenumber" \
"$REGRESS_COMP" > job.json
# delete existing job with same name if this is a pr job
if [ -n "$PR_NUMBER" ]; then