Skip to content

Merge pull request #13 from input-output-hk/PLT-6942-changelog-manage… #25

Merge pull request #13 from input-output-hk/PLT-6942-changelog-manage…

Merge pull request #13 from input-output-hk/PLT-6942-changelog-manage… #25

name: Post integration
on:
push:
branches:
- main
permissions:
contents: read
pages: write
id-token: write
concurrency:
group: "pages"
cancel-in-progress: false
jobs:
deploy-docs:
environment:
name: github-pages
url: ${{ steps.deployment.outputs.page_url }}
runs-on: ubuntu-latest
steps:
- name: 📥 Checkout repository
uses: actions/checkout@v3.3.0
- name: 🧰 Setup Pages
uses: actions/configure-pages@v3
- name: 🧰 Setup nix
uses: cachix/install-nix-action@v22
with:
github_access_token: ${{ secrets.GITHUB_TOKEN }}
- name: 🔨 Build Docs
run: |
nix develop --show-trace --command bash -c "npm i && npm run build && npm run docs"
- name: 📘 Upload artifact
uses: actions/upload-pages-artifact@v2
with:
path: './docs'
- name: 📘 Deploy to GitHub Pages
id: deployment
uses: actions/deploy-pages@v2