Skip to content

Additional changes to copilot instructions #47

Additional changes to copilot instructions

Additional changes to copilot instructions #47

Workflow file for this run

name: CI
on:
push:
branches:
- main
tags:
- '*'
pull_request:
workflow_dispatch: # Manual trigger for documentation deployment
concurrency:
# Skip intermediate builds: always.
# Cancel intermediate builds: only if it is a pull request build.
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: ${{ startsWith(github.ref, 'refs/pull/') }}
jobs:
test:
name: Julia ${{ matrix.version }} - ${{ matrix.os }} - ${{ matrix.arch }} - ${{ github.event_name }}
runs-on: ${{ matrix.os }}
strategy:
fail-fast: false
matrix:
version:
- '1'
os:
- ubuntu-latest
arch:
- x64
steps:
- uses: actions/checkout@v4
- uses: julia-actions/setup-julia@v1
with:
version: ${{ matrix.version }}
arch: ${{ matrix.arch }}
- uses: julia-actions/cache@v1
- uses: julia-actions/julia-buildpkg@v1
- name: Run tests
run: >
julia --project=. --color=yes test/runtests.jl
deploy-docs:
name: Deploy Documentation
runs-on: ubuntu-latest
needs: test
# Only deploy on push to main (not on PRs) OR manual trigger
if: (github.event_name == 'push' && github.ref == 'refs/heads/main') || github.event_name == 'workflow_dispatch'
steps:
- uses: actions/checkout@v4
- uses: julia-actions/setup-julia@v1
with:
version: '1'
arch: x64
- uses: julia-actions/cache@v1
- uses: julia-actions/julia-buildpkg@v1
- name: Generate documentation and deploy
run: >
julia --project=. --color=yes docs/make.jl
env: # needed for pushing to gh-pages branch
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }}
# Configure the subdirectory for this repository
DOCUMENTER_DEPLOY_SUBDIRECTORY: "linear_algebra"