diff options
| author | Gereon Kremer <nafur42@gmail.com> | 2021-10-20 14:42:16 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-10-20 21:42:16 +0000 |
| commit | 79fb4d7cb03b5fe254fb0c43f5dc6e885cfbf013 (patch) | |
| tree | b048d5581d2d295df2d996302321f31d70d18c98 /.github | |
| parent | 09c6f9514b993c78c662ff6d3f46acce97286068 (diff) | |
Fix inadvertent failure of workflow step (#7420)
This fixes an issue introduced with #7352: jobs fail immediately if any command has a non-zero exit code. The way we obtained the exit code of the `diff` command was incompatible with this policy, which is why we currently never upload any docs to `docs-ci`.
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/docs_upload.yml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/.github/workflows/docs_upload.yml b/.github/workflows/docs_upload.yml index 8f51bab77..f6ee6a0d3 100644 --- a/.github/workflows/docs_upload.yml +++ b/.github/workflows/docs_upload.yml @@ -81,8 +81,7 @@ jobs: mv docs-new target/docs-$NAME-$HASH cd target/ - (diff -r -x "*.zip" docs-master/ docs-$NAME-$HASH) - issame=$? + issame=$(diff -r -x "*.zip" docs-master/ docs-$NAME-$HASH; echo $?; exit 0) if [[ -n $ISTAG && $issame ]] then |