fix env variable name

Author: jderochervlk

.github/workflows/deploy.yml

@@ -31,25 +31,25 @@ jobs:
         run: yarn install
       - name: Sync playground bundles
         run: yarn build:sync-bundles
-      - name: Set DEPLOY_URL
+      - name: Set PUBLIC_DEPLOYMENT_URL
         shell: bash
         run: |
           RAW_BRANCH="${{ github.head_ref || github.ref_name }}"
 
           if [[ "$RAW_BRANCH" == "master" ]]; then
-             echo "DEPLOY_URL=" >> "$GITHUB_ENV"
+             echo "PUBLIC_DEPLOYMENT_URL=" >> "$GITHUB_ENV"
           else
              SAFE_BRANCH="${RAW_BRANCH//\//-}"
              
              SAFE_BRANCH=$(echo "$SAFE_BRANCH" | tr '[:upper:]' '[:lower:]')
              
              echo "SAFE_BRANCH=$SAFE_BRANCH" >> "$GITHUB_ENV"
-             echo "DEPLOY_URL=https://${SAFE_BRANCH}.rescript-lang.pages.dev" >> "$GITHUB_ENV"
+             echo "PUBLIC_DEPLOYMENT_URL=https://${SAFE_BRANCH}.rescript-lang.pages.dev" >> "$GITHUB_ENV"
           fi
       - name: Build
         run: yarn build
         env:
-          DEPLOY_URL: ${{ env.DEPLOY_URL }}
+          PUBLIC_DEPLOYMENT_URL: ${{ env.PUBLIC_DEPLOYMENT_URL }}
       - name: Deploy
         id: deploy
         uses: cloudflare/wrangler-action@v3

src/bindings/Env.res

@@ -2,7 +2,7 @@
 external dev: bool = "import.meta.env.DEV"
 
 // Cloudflare deployment URL
-external deployment_url: option<string> = "import.meta.env.DEPLOYMENT_URL"
+external deployment_url: option<string> = "import.meta.env.PUBLIC_DEPLOYMENT_URL"
 
 // the root url of the site, e.g. "https://rescript-lang.org/" or "http://localhost:5173/"
 let root_url = switch deployment_url {