a

Author: stephanosio

.github/workflows/doc-publish-pr.yml

@@ -30,8 +30,11 @@ jobs:
 
     - name: Load PR number
       if: steps.download-artifacts.outputs.found_artifact == 'true'
+      uses: actions/github-script@v7
       run: |
-        echo "PR_NUM=$(<pr_num/pr_num)" >> $GITHUB_ENV
+        let fs = require("fs");
+        let pr_number = Number(fs.readFileSync("./pr_num/pr_num"))
+        core.exportVariable("PR_NUM", pr_number);
 
     - name: Check PR number
       if: steps.download-artifacts.outputs.found_artifact == 'true'