Skip to content

Update magma git URL and all patches #1443

Update magma git URL and all patches

Update magma git URL and all patches #1443

Workflow file for this run

name: Documentation
on:
push:
branches:
- main
tags: '*'
pull_request:
jobs:
build-docs:
permissions:
contents: write
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: Build and deploy
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
run: |
julia --project=docs -e 'using Pkg; Pkg.instantiate()'
julia --project=docs --color=yes docs/make.jl
- uses: actions/upload-artifact@v4
with:
name: docs
path: docs/build/
retention-days: 7