Skip to content

Fix tab scrollbar in chrome #1545

Fix tab scrollbar in chrome

Fix tab scrollbar in chrome #1545

Workflow file for this run

name: Deploy Naos
on:
workflow_call:
workflow_dispatch:
pull_request:
types:
- labeled
concurrency: deploy-naos
jobs:
deploy:
if: ${{ github.event.action != 'labeled' || (github.event.action == 'labeled' && github.event.label.name == 'deploy naos') }}
environment:
name: naos
url: https://naos.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 naos $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 naos
type: remove