Skip to content
Snippets Groups Projects
Commit 1edf6aec authored by Bentriou Mahmoud's avatar Bentriou Mahmoud
Browse files

Configuration file for documentation generation.

parent d30739d5
Branches
No related tags found
No related merge requests found
Pipeline #11507 failed
name: Documentation
on:
push:
branches:
- master
tags: '*'
pull_request:
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- uses: julia-actions/setup-julia@latest
with:
version: '1.5.3'
- name: Install dependencies
run: julia --project=docs/ -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.instantiate()'
- name: Build and deploy
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # For authentication with GitHub Actions token
DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }} # For authentication with SSH deploy key
run: julia --project=docs/ docs/make.jl
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment