Skip to content

Delete workaround for compat with extensions #234

Delete workaround for compat with extensions

Delete workaround for compat with extensions #234

Workflow file for this run

name: Documentation
on:
push:
branches:
- master
- develop
- release/.*
tags: '*'
pull_request:
jobs:
Documenter:
name: Documentation
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- uses: julia-actions/julia-buildpkg@latest
- uses: julia-actions/julia-docdeploy@latest
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }}