From: Gereon Kremer <nafur42@gmail.com>
Date: Wed, 20 Oct 2021 21:42:16 +0000 (-0700)
Subject: Fix inadvertent failure of workflow step (#7420)
X-Git-Tag: cvc5-1.0.0~1034
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=79fb4d7cb03b5fe254fb0c43f5dc6e885cfbf013;p=cvc5.git

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