ci: add more log to documentation workflow
@@ -59,10 +59,11 @@ jobs:
- name: Check that example source and guide code blocks match
id: cache
run: |
+ set -ex
OCKAM_HOME=$PWD bash -ex tools/docs/check_documentation.sh
# Only cache rust build if example blocks code was built
- if [[ ls target ]]; then
+ if ls target; then
echo "is_cached=true" >> $GITHUB_OUTPUT
fi
