Skip to content

Bump @codemirror/language from 6.10.4 to 6.10.6 in the codemirror group #3152

Bump @codemirror/language from 6.10.4 to 6.10.6 in the codemirror group

Bump @codemirror/language from 6.10.4 to 6.10.6 in the codemirror group #3152

Workflow file for this run

name: Deploy Mestra
on:
workflow_dispatch:
pull_request:
types:
- labeled
concurrency: deploy-mestra
jobs:
deploy:
if: ${{ github.event.action != 'labeled' || (github.event.action == 'labeled' && github.event.label.name == 'deploy mestra') }}
environment:
name: mestra
url: https://mestra.ugent.be
runs-on: ubuntu-latest
steps:
- name: Install SSH key
uses: shimataro/ssh-key-action@v2
with:
key: ${{ secrets.MESTRA_KEY }}
known_hosts: ${{ secrets.MESTRA_HOST }}
- name: Run deploy
run: |
echo "deploy mestra $GITHUB_SHA" | ssh -p 4840 [email protected]
- name: Remove deploy label
if: github.event.action == 'labeled'
uses: buildsville/[email protected]
with:
token: ${{secrets.GITHUB_TOKEN}}
label: deploy mestra
type: remove