added deployment job

.github/workflows/pipeline.yaml

@@ -146,3 +146,37 @@ jobs:
 
       - name: Run E2E tests
         run: yarn e2e
+
+  # Job 6: Deploy to GitHub Pages
+  deploy:
+    needs:
+      - static-analysis
+      - e2e
+    runs-on: ubuntu-latest
+    if: github.ref == 'refs/heads/release'
+    concurrency:
+      group: deploy_gh_pages
+    steps:
+      - name: Checkout code
+        uses: actions/checkout@v4
+
+      - name: Set up Node.js
+        uses: actions/setup-node@v4
+        with:
+          node-version: '22'
+
+      - name: Restore cache
+        uses: actions/cache@v4
+        with:
+          path: |
+            node_modules
+            ~/.cache/yarn
+          key: ${{ runner.os }}-yarn-${{ hashFiles('**/yarn.lock') }}
+
+      - name: Build the project
+        run: yarn build
+
+      - name: Deploy to GitHub Pages
+        uses: JamesIves/github-pages-deploy-action@v4
+        with:
+          folder: dist/timed-automata-analysis