Allow manual triggering with a specific environment

Author: robtaylor

.github/workflows/main.yaml

@@ -6,11 +6,20 @@ on:
   merge_group:
   schedule:
     - cron: '0 0 * * *'  # Every day at midnight UTC
-
+  # allow manual triggering with a given environment
+  workflow_dispatch:
+    inputs:
+      environment:
+        required: true
+        type: environment
+env:
+  enviironment: ${{ if github.event_name == 'workflow_dispatch' then inputs.environment else 'Staging' }}
 name: CI
 jobs:
 
   test:
+    environment:
+      name: ${{ env.environment }}
     runs-on: ubuntu-latest
     steps:
       - name: Check out source code
@@ -34,6 +43,8 @@ jobs:
         run: pdm run test-docs
 
   license:
+    environment:
+      name: ${{ env.environment }}
     runs-on: ubuntu-latest
     steps:
       - name: Check out source code
@@ -44,6 +55,8 @@ jobs:
         run: ./tools/license_check.sh
 
   test-submit:
+    environment:
+      name: ${{ env.environment }}
     uses: ./.github/workflows/test-examples.yml
     with:
       CHIPFLOW_API_ORIGIN: ${{ vars.CHIPFLOW_API_ORIGIN }}