Skip to content

Docs: add ci/cd general info #302

Docs: add ci/cd general info

Docs: add ci/cd general info #302

Workflow file for this run

# SPDX-FileCopyrightText: 2022-2023 TII (SSRC) and the Ghaf contributors
#
# SPDX-License-Identifier: Apache-2.0
name: doc
on:
push:
branches:
- main
paths:
- 'docs/**'
jobs:
deploy:
name: build doc and deploy to gh pages
runs-on: ubuntu-latest
permissions:
contents: write
steps:
- uses: actions/checkout@v4
- uses: cachix/install-nix-action@v24
- name: build
run: nix build .#doc
- name: deploy
uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./result