Skip to content

use new 'min' option in julia setup (#77) #257

use new 'min' option in julia setup (#77)

use new 'min' option in julia setup (#77) #257

Workflow file for this run

name: Documenter
on:
push:
branches: [main]
tags: [v*]
pull_request:
branches: [main]
workflow_dispatch:
jobs:
Documenter:
name: Documentation
runs-on: ubuntu-20.04
steps:
- uses: actions/checkout@v4
- uses: julia-actions/setup-julia@v2
with:
version: 1
- name: Cache
uses: julia-actions/cache@v2
with:
cache-compiled: "true"
- uses: julia-actions/julia-buildpkg@latest
- uses: julia-actions/julia-docdeploy@latest
env:
DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }} # when run by tagbot