develop: Run the user script with -eo pipefail

Signed-off-by: Gergely Nagy <me@gergo.csillger.hu>

.forgejo/workflows/nix-develop.yaml

@@ -36,3 +36,19 @@ jobs:
         with:
           flake: ./develop/test
           package: "hello"
+
+      - name: errors within the script should propagate
+        id: error-check
+        continue-on-error: true
+        uses: ./develop
+        with:
+          flake: ./develop/test
+          package: "hello"
+          run: |
+            set -x
+            this-command-does-not-exist | cat
+            this-command-does-not-exist
+
+      - name: make sure the previous step failed
+        run: |
+          [ "${{ steps.error-check.outcome }}" = "failure" ]

develop/bin/nix-develop

@@ -10,4 +10,4 @@ if [ "$(basename $0)" = "nix-shell" ]; then
     __cmd="shell"
 fi
 
-nix "${__cmd}" "${INPUT_FLAKE}#${INPUT_PACKAGE}" -c bash "${workdir}/run.sh"
+nix "${__cmd}" "${INPUT_FLAKE}#${INPUT_PACKAGE}" -c bash -eo pipefail "${workdir}/run.sh"