Skip to content

(feat): Bitmask-Aware Untracked Tracking for @with_pool #27

(feat): Bitmask-Aware Untracked Tracking for @with_pool

(feat): Bitmask-Aware Untracked Tracking for @with_pool #27

Workflow file for this run

name: Documentation
on:
push:
branches:
- master
tags: '*'
pull_request:
branches:
- master
workflow_dispatch:
concurrency:
group: ${{ github.ref }}-docs
cancel-in-progress: true
jobs:
build:
permissions:
contents: write
statuses: write
name: Documentation
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: julia-actions/setup-julia@latest
- uses: julia-actions/cache@v2
- name: Replace git@github.com with https in Package.toml files
run: |
find ~/.julia/registries/FuseRegistry -type f -name 'Package.toml' -exec sed -i 's|git@github.com:|https://project-torrey-pines:${{secrets.PTP_READ_TOKEN}}@github.com/|g' {} +
- name: Install dependencies
run: |
julia --project=docs -e '
using Pkg
Pkg.activate("docs")
Pkg.develop(PackageSpec(path=pwd()))
Pkg.instantiate()
'
- name: Build and deploy
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }}
run: julia --project=docs/ docs/make.jl