Skip to content

Update github pages #687

Update github pages

Update github pages #687

Workflow file for this run

name: "Update github pages"
on:
push:
branches:
- master
workflow_dispatch:
jobs:
build:
runs-on: ubuntu-latest
defaults:
run:
shell: bash
steps:
- uses: actions/checkout@v4
- uses: cachix/install-nix-action@v30
with:
extra_nix_config: |
accept-flake-config = true
- uses: rrbutani/use-nix-shell-action@v1
with:
devShell: .#ghc914
- name: Update cabal indices
run: |
cabal update
- name: Build whole project
run: |
cabal build all
- name: Build haddock documentation
run: |
mkdir website
cabal haddock-project --output=./website --internal --foreign-libraries
- name: Fix cross-package Haddock links
run: |
./scripts/fix-haddock-links.sh ./website
- name: Build typedoc documentation
run: |
nix build .#wasm-typedoc
mkdir -p website/cardano-wasm/typedoc
cp -r result/. website/cardano-wasm/typedoc/
- name: Compress website
run: |
tar -czf website.tgz -C website .
- name: Upload website artifact
uses: actions/upload-artifact@v4
if: ${{ always() }}
continue-on-error: true
with:
name: website
path: ./website.tgz
- name: Deploy documentation to gh-pages 🚀
if: github.ref == 'refs/heads/master'
uses: peaceiris/actions-gh-pages@v4
with:
github_token: ${{ secrets.GITHUB_TOKEN || github.token }}
publish_dir: website
cname: cardano-api.cardano.intersectmbo.org
force_orphan: true