From 81b8f4a85679f6eda6d299d163f2397b9199b2c3 Mon Sep 17 00:00:00 2001
From: Stephen Amar <stephen.amar@databricks.com>
Date: Mon, 23 Feb 2026 11:22:28 -0800
Subject: [PATCH] remove playground workflow for now

---
 .github/workflows/playground-deploy.yaml | 55 ------------------------
 1 file changed, 55 deletions(-)
 delete mode 100644 .github/workflows/playground-deploy.yaml

diff --git a/.github/workflows/playground-deploy.yaml b/.github/workflows/playground-deploy.yaml
deleted file mode 100644
index b20c7065..00000000
--- a/.github/workflows/playground-deploy.yaml
+++ /dev/null
@@ -1,55 +0,0 @@
-name: Deploy Playground to GitHub Pages
-
-on:
-  push:
-    branches: [ master ]
-    paths:
-      - 'playground/**'
-      - 'sjsonnet/src/**'       # shared core (parser, evaluator, stdlib) — used by JS build
-      - 'sjsonnet/src-js/**'    # JS-specific code (SjsonnetMain, JsVirtualPath)
-      - 'build.mill'
-  workflow_dispatch:
-
-permissions:
-  contents: read
-  pages: write
-  id-token: write
-
-concurrency:
-  group: "pages"
-  cancel-in-progress: true
-
-jobs:
-  build:
-    runs-on: ubuntu-22.04
-    steps:
-      - uses: actions/checkout@v6
-
-      - uses: actions/setup-java@v5
-        with:
-          java-version: 17
-          distribution: 'zulu'
-
-      - name: Build Playground Bundle
-        run: ./mill playground.bundle
-
-      - name: Prepare Pages artifact
-        run: |
-          mkdir -p _site
-          cp out/playground/bundle.dest/index.html _site/
-
-      - name: Upload Pages artifact
-        uses: actions/upload-pages-artifact@v4
-        with:
-          path: _site
-
-  deploy:
-    needs: build
-    runs-on: ubuntu-22.04
-    environment:
-      name: github-pages
-      url: ${{ steps.deployment.outputs.page_url }}
-    steps:
-      - name: Deploy to GitHub Pages
-        id: deployment
-        uses: actions/deploy-pages@v4