Skip to content

add finally block for restoring original model in profiling #1241

add finally block for restoring original model in profiling

add finally block for restoring original model in profiling #1241

Workflow file for this run

name: Documenter
concurrency:
group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
cancel-in-progress: true
on:
push:
branches: [main]
tags: [v*]
paths-ignore:
- 'LICENSE.md'
- 'README.md'
pull_request:
branches:
- main
- v3.x
paths-ignore:
- 'LICENSE.md'
- 'README.md'
jobs:
Documenter:
name: Documentation
runs-on: ubuntu-22.04
steps:
- uses: actions/checkout@v4
- uses: julia-actions/setup-julia@v2
with:
version: 'min'
- uses: julia-actions/cache@v2
with:
cache-compiled: "true"
- uses: julia-actions/julia-buildpkg@latest
- uses: julia-actions/julia-docdeploy@latest
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }}