CI: Ensure pipeline fails when curl fails #7

Merged

rluetzner merged 0 commits from refs/pull/7/head into master

2023-05-19 20:06:34 +02:00

rluetzner commented

2023-05-19 19:59:45 +02:00

(Migrated from codeberg.org)

The --fail-with-body option will let us do this. As an additional
benefit, it will print the error message in the CI.

I also used this chance to clean up the commands for the related
pipeline step. We had trouble with individual commands before. It turns
out that this was caused by a ':' in one of the commands. Quoting that
correctly will let us define the commands as a list, which makes them a
bit easier to read.

The `--fail-with-body` option will let us do this. As an additional benefit, it will print the error message in the CI. I also used this chance to clean up the commands for the related pipeline step. We had trouble with individual commands before. It turns out that this was caused by a ':' in one of the commands. Quoting that correctly will let us define the commands as a list, which makes them a bit easier to read.