CircleCI: Check errors from publishing master Docker images (#26107)

Signed-off-by: Arve Knudsen <arve.knudsen@gmail.com>
This commit is contained in:
Arve Knudsen 2020-07-07 10:16:22 +02:00 committed by GitHub
parent c9f22b72e3
commit 953a80d76f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -667,8 +667,7 @@ jobs:
# This is a release
/tmp/grabpl publish-docker --jobs 4 --edition << parameters.edition >> --ubuntu=<< parameters.ubuntu >>
else
# TODO: Don't ignore errors, temporary workaround until we fix #22955
/tmp/grabpl publish-docker --jobs 4 --edition << parameters.edition >> --ubuntu=<< parameters.ubuntu >> || echo Publishing failed!
/tmp/grabpl publish-docker --jobs 4 --edition << parameters.edition >> --ubuntu=<< parameters.ubuntu >>
fi
- run:
name: CI job failed