Skip to content

Update index.md

Update index.md #60

Workflow file for this run

permissions:
contents: read
pages: write
id-token: write
name: Documentation
on:
push:
branches:
- 'main'
pull_request:
jobs:
docs:
name: 'Julia 1 - ubuntu-latest'
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: julia-actions/setup-julia@v2
with:
version: '1'
- uses: julia-actions/cache@v2
- name: Install dependencies
run: julia --project=docs -e 'using Pkg; Pkg.instantiate()'
- name: Update dependencies
run: julia --project=docs -e 'using Pkg; Pkg.update()'
- name: Build and deploy
run: julia --project=docs --color=yes docs/make.jl
- name: Setup Pages
uses: actions/configure-pages@v5
- name: Upload Artifact
uses: actions/upload-pages-artifact@v3
with:
path: 'docs/build'
- name: Deploy to GitHub Pages
id: deployment
uses: actions/deploy-pages@v4