Skip to content

Merge branch 'master' of https://github.com/DPI-WE/user-feedback #13

Merge branch 'master' of https://github.com/DPI-WE/user-feedback

Merge branch 'master' of https://github.com/DPI-WE/user-feedback #13

Workflow file for this run

name: GitHub Pages
on:
push:
branches:
- master
workflow_dispatch:
permissions:
contents: read
pages: write
id-token: write
concurrency:
group: pages
cancel-in-progress: true
jobs:
deploy:
environment:
name: github-pages
url: ${{ steps.deployment.outputs.page_url }}
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- name: Install Node.js
uses: actions/setup-node@v3
with:
cache: npm
node-version-file: '.nvmrc'
- name: Install dependencies
run: npm ci
- name: Build Marp slide deck
run: CHROME_PATH=$(npx @puppeteer/browsers install chrome@stable --path $(realpath ./tmp) | awk '{print $2}') npm run build
env:
# Please update URL if you want to use custom domain
URL: https://${{ github.event.repository.owner.name }}.github.io/${{ github.event.repository.name }}
# Recommend to set lang for your deck to get better rendering for Open Graph image
LANG: en-US
- name: Upload page artifacts
uses: actions/upload-pages-artifact@v3
with:
path: public
- name: Deploy to GitHub Pages
id: deployment
uses: actions/deploy-pages@main