Skip to content

Commit

Permalink
Add GitHub Action to manually update the playground (#211)
Browse files Browse the repository at this point in the history
To be used if any dependencies have a critical vulnerability and we
need to update outside of a release.
  • Loading branch information
SeanTAllen authored Apr 30, 2024
1 parent 1e88cc4 commit 1173e6a
Showing 1 changed file with 21 additions and 0 deletions.
21 changes: 21 additions & 0 deletions .github/workflows/update-playground.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,21 @@
name: Update Playground

on:
workflow_dispatch

concurrency:
group: "update-playground"
cancel-in-progress: false

jobs:
update-playground:
name: Update https://playground.ponylang.io/
runs-on: ubuntu-latest
steps:
- name: Run remote command
uses: ponylang-main/ssh-action@ffff33f8fe0318345a4f00f0e847325954b2a3ed
with:
host: ${{ secrets.PLAYGROUND_HOST }}
username: ${{ secrets.PLAYGROUND_ADMIN_USER }}
key: ${{ secrets.PLAYGROUND_KEY }}
script: bash update-playground.bash

0 comments on commit 1173e6a

Please sign in to comment.