touch

gha-common · May 15, 2024 · 6223238 · 6223238
1 parent f055d4a
commit 6223238
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 2 deletions.
diff --git a/action.yaml b/action.yaml
@@ -34,6 +34,7 @@ runs:
       shell: bash
       run: |
         export INPUTS_BRANCH="${{ inputs.branch }}"
+        export INPUTS_PATH="${{ inputs.path }}"
         ${GITHUB_ACTION_PATH}/scripts/pull.sh
 
     - name: Push Coverage

diff --git a/scripts/pull.sh b/scripts/pull.sh
@@ -13,4 +13,7 @@ else
   git checkout --orphan "${INPUTS_BRANCH}"
   rm .git/index
   git clean -fdx
+  touch "${INPUTS_PATH}/head/head.html"
+  touch "${INPUTS_PATH}/head/head.txt"
+  touch "${INPUTS_PATH}/head/head.out"
 fi
diff --git a/scripts/push.sh b/scripts/push.sh
@@ -36,11 +36,11 @@ done
 
 # if we are on the main branch, copy files to main.*
 
-# if [ "${REF_NAME}" = "main" ]; then
+if [ "${REF_NAME}" = "main" ]; then
   cp "revisions/${REVISION}.html" "${cover_dir}/head/head.html"
   cp "revisions/${REVISION}.txt"  "${cover_dir}/head/head.txt"
   cp "revisions/${REVISION}.out"  "${cover_dir}/head/head.out"
-# fi
+fi
 
 # copy assets