New deploy branch (no longer dev)

.github/workflows/main.yml

@@ -3,11 +3,11 @@
 name: CI
 
 # Controls when the action will run. Triggers the workflow on push or pull request
-# events but only for the dev branch
+# events but only for the deploy branch
 on:
   push:
-    # branches: [ dev-2023S2 ]
-    branches: [ dev ]
+    branches: [ deploy ]
+    # branches: [ dev ]
     paths-ignore:
       - 'doc/**'      # Ignore all files and subdirectories under "doc/"
       - 'docs/**'     # Ignore all files and subdirectories under "docs/"
@@ -19,6 +19,7 @@ jobs:
   build:
     # The type of runner that the job will run on
     runs-on: ubuntu-latest
+    environment: Deploy
 
     # Steps represent a sequence of tasks that will be executed as part of the job
     steps:
@@ -36,6 +37,6 @@ jobs:
         uses: JamesIves/[email protected]
         with:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
-          BRANCH: master # The branch the action should deploy to.
+          BRANCH: master # The branch the action should deploy.
           FOLDER: build # The folder the action should deploy.
           CLEAN: true # Automatically remove deleted files from the deploy branch