1 files changed, 1 insertions, 1 deletions
diff --git a/.github/ci/doc.sh b/.github/ci/doc.sh
index d0aff1e43..7112d8aaa 100755
--- a/.github/ci/doc.sh
+++ b/.github/ci/doc.sh
@@ -1,7 +1,7 @@
 #!/bin/bash
 ## on push branch=main
-set -euo pipefail
+set -euxo pipefail
 export RUSTUP_HOME=/ci/cache/rustup
 export CARGO_HOME=/ci/cache/cargo

diff --git a/.github/ci/doc.sh b/.github/ci/doc.sh index d0aff1e43..7112d8aaa 100755 --- a/.github/ci/doc.sh +++ b/.github/ci/doc.sh
@@ -1,7 +1,7 @@
1	#!/bin/bash	1	#!/bin/bash
2	## on push branch=main	2	## on push branch=main
3		3
4	set -euo pipefail	4	set -euxo pipefail
5		5
6	export RUSTUP_HOME=/ci/cache/rustup	6	export RUSTUP_HOME=/ci/cache/rustup
7	export CARGO_HOME=/ci/cache/cargo	7	export CARGO_HOME=/ci/cache/cargo