Skip to content

Conversation

Copy link
Contributor

Copilot AI commented Dec 23, 2025

The playground executor workflow was removed as playground snapshot generation now relies on the Actions secrets PLAYGROUND_SNAPSHOTS_TOKEN and PLAYGROUND_SNAPSHOTS_REPO configured in the playground-snapshots-refresh workflow.

Changes

  • Removed workflow files

    • .github/workflows/playground-executor.md
    • .github/workflows/playground-executor.lock.yml
  • Updated documentation references

    • Removed playground executor entry from Labs page (docs/src/content/docs/labs.mdx)
    • Removed example comments in docs/scripts/fetch-playground-org-owned.mjs
    • Removed file references from docs deployment workflow (docs.yml)

Verification

The playground-snapshots-refresh workflow already uses the required secrets:

- name: Regenerate playground snapshots
  env:
    PLAYGROUND_SNAPSHOTS_TOKEN: ${{ secrets.PLAYGROUND_SNAPSHOTS_TOKEN }}
    PLAYGROUND_SNAPSHOTS_REPO: ${{ secrets.PLAYGROUND_SNAPSHOTS_REPO }}
    PLAYGROUND_SNAPSHOTS_MODE: actions
Original prompt

Remove playground executor and update Reflresh playground snapshots workflow to use repos Actions secret PLAYGROUND_SNAPSHOTS_TOKEN to get data from PLAYGROUND_SNAPSHOTS_REPO.


✨ Let Copilot coding agent set things up for you — coding agent works faster and does higher quality work when set up for your repo.

Copilot AI and others added 2 commits December 23, 2025 14:54
Co-authored-by: mnkiefer <8320933+mnkiefer@users.noreply.github.com>
Co-authored-by: mnkiefer <8320933+mnkiefer@users.noreply.github.com>
Copilot AI changed the title [WIP] Remove playground executor and update workflow to use token Remove playground executor workflow Dec 23, 2025
Copilot AI requested a review from mnkiefer December 23, 2025 15:01
@mnkiefer mnkiefer marked this pull request as ready for review December 23, 2025 15:04
@mnkiefer mnkiefer merged commit 1441837 into main Dec 23, 2025
45 checks passed
@mnkiefer mnkiefer deleted the copilot/remove-playground-executor branch December 23, 2025 15:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants