figured it out

oils-for-unix · Aug 26, 2024 · 5a3ffef · 5a3ffef
1 parent 76f41f0
commit 5a3ffef
Showing 1 changed file with 3 additions and 7 deletions.
diff --git a/soil/github-actions.sh b/soil/github-actions.sh
@@ -21,19 +21,15 @@ publish-html-assuming-ssh-key() {
   local job_name=$1
   local update_status_api=${2:-}
 
-  # Debug GITHUB_RUN_NUMBER
-  if true; then
-    echo ENV
-    env
-    echo
-  fi
-
   if true; then
     # https://docs.github.com/en/actions/reference/environment-variables
 
     # Recommended by the docs
     export JOB_URL="$GITHUB_SERVER_URL/$GITHUB_REPOSITORY/actions/runs/$GITHUB_RUN_ID"
 
+    # Note $GITHUB_RUN_NUMBER is a different sequence for all-builds.yml vs.
+    # fast-subset.yml
+
     soil/web-worker.sh deploy-job-results 'github-' $GITHUB_RUN_NUMBER $job_name \
       JOB_URL \
       GITHUB_WORKFLOW	\