Consolidate CI web builds into the build workflow and restore deployments to GitHub environments (#3916)

* Restore the CI "View deployment" button in PRs after building

* Consolidate release.yml functionality into build.yml

* Move build from ci.yml to a delegated run in build.yml

* Rename CI to Check

* Code review fixes

* Review 2

.github/workflows/comment-clippy-warnings.yaml

@@ -52,7 +52,7 @@ jobs:
           fi
 
       - name: Delete previous comments
-        uses: actions/github-script@v6
+        uses: actions/github-script@v8
         with:
           github-token: ${{secrets.GITHUB_TOKEN}}
           script: |
@@ -76,7 +76,7 @@ jobs:
 
       - name: Comment PR
         if: steps.clippy.outputs.CLIPPY_ISSUES_FOUND == 'true'
-        uses: actions/github-script@v6
+        uses: actions/github-script@v8
         with:
           github-token: ${{secrets.GITHUB_TOKEN}}
           script: |