wip

Author: gwaramadze

.github/workflows/docs.yml

@@ -29,6 +29,7 @@ jobs:
           cd docs/build
           python build.py
           git diff --quiet && DIFF=false || DIFF=true
+          echo $DIFF
           echo "diff=$DIFF" >> $GITHUB_OUTPUT
 
       - name: Commit and push changes