build: try to fix dockerized builds #19

titilda · Dec 11, 2024 · bbf567a · bbf567a
1 parent 38e28a6
commit bbf567a
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 0 deletions.
diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
@@ -4,6 +4,14 @@ on:
   # Runs on pushes targeting the default branch
   push:
     branches: ["main"]
+
+  # Runs after "Build and Push Docker Image" workflow completes
+  workflow_run:
+    workflows: ["Build and Push Docker Image"]
+    types:
+      - completed
+    branches:
+      - main
 
   # Allows you to run this workflow manually from the Actions tab
   workflow_dispatch:

diff --git a/build_docs.sh b/build_docs.sh
@@ -1,4 +1,7 @@
 #!/bin/bash
+pwd
+echo $HOME
+echo ~
 git config --global --add safe.directory /workspace
 
 find . -type f -name "*.md" -mindepth 2 -print0 | sort -z | while read -d $'\0' doc