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`.

diff --git a/.github/workflows/docs_upload.yml b/.github/workflows/docs_upload.yml
index 8f51bab77496f4dbd4c3a1a1efcf25b144a517c9..f6ee6a0d315fac2f66981b2fb39fc28d22979301 100644 (file)
--- 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