Skip to content

perf bugfix: only get line number, not col #236

perf bugfix: only get line number, not col

perf bugfix: only get line number, not col #236

Workflow file for this run

name: Documentation
on:
push:
branches: [main]
tags: '*'
paths:
- '.github/workflows/docs.yml'
- 'src/**'
- 'docs/**'
- 'Project.toml'
pull_request:
types: [opened, synchronize, reopened, ready_for_review]
paths:
- '.github/workflows/docs.yml'
- 'src/**'
- 'docs/**'
- 'Project.toml'
jobs:
Documentation:
# Run on push's or non-draft PRs
if: (github.event_name == 'push') || (github.event.pull_request.draft == false) || (github.event_name == 'workflow_dispatch')
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- uses: julia-actions/setup-julia@latest
with:
version: "1.6"
- name: Cache artifacts
uses: actions/cache@v2
env:
cache-name: cache-artifacts
with:
path: |
~/.julia/artifacts
key: ${{ runner.os }}-docs-${{ env.cache-name }}-${{ hashFiles('**/docs/Project.toml') }}
restore-keys: |
${{ runner.os }}-docs-${{ env.cache-name }}-
${{ runner.os }}-docs-
${{ runner.os }}-
- name: Install dependencies
shell: julia --color=yes --project=docs/ {0}
run: |
using Pkg
Pkg.develop(PackageSpec(path=pwd()))
Pkg.instantiate()
- uses: julia-actions/julia-docdeploy@releases/v1
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # For authentication with GitHub Actions token
DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }} # For authentication with SSH deploy key