Skip to content

Make AsData generate more efficient pattern matching #1197

Make AsData generate more efficient pattern matching

Make AsData generate more efficient pattern matching #1197

# This workflow builds and deploys the Docusaurus site.
#
# This workflow builds the site on pull requests, and it also automatically deploys
# the site on push to master or on workflow dispatch to:
# https://plutus.cardano.intersectmbo.org/docs
name: "🦕 Docusaurus Site"
on:
push:
branches:
- master
workflow_dispatch:
pull_request:
jobs:
run:
name: Run
runs-on: [self-hosted, plutus-ci]
permissions:
contents: write
environment:
name: github-pages
steps:
- name: Checkout
uses: actions/checkout@main
- name: Build Site
working-directory: doc/docusaurus
run: nix develop --no-warn-dirty --accept-flake-config --command bash -c 'yarn && yarn build'
- name: Deploy Site
if: github.event_name == 'push' || github.event_name == 'workflow_dispatch'
uses: JamesIves/github-pages-deploy-action@v4.7.2
with:
folder: doc/docusaurus/build
target-folder: docs
single-commit: true