CompatHelper: bump compat for DiffEqCallbacks to 4 for package core, (keep existing compat) #4543
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
name: Docs | |
on: | |
push: | |
branches: [main, update/pixi-lock, update/julia-manifest] | |
paths-ignore: [".teamcity/**"] | |
pull_request: | |
paths-ignore: [".teamcity/**"] | |
merge_group: | |
concurrency: | |
group: ${{ github.workflow }}-${{ github.ref }} | |
cancel-in-progress: true | |
# needed to allow julia-actions/cache to delete old caches that it has created | |
permissions: | |
actions: write | |
contents: read | |
jobs: | |
publish: | |
name: Docs Julia | |
runs-on: ubuntu-latest | |
permissions: | |
contents: write | |
steps: | |
- uses: actions/checkout@v4 | |
- uses: julia-actions/cache@v2 | |
with: | |
cache-compiled: "true" | |
cache-registries: "true" | |
- uses: prefix-dev/[email protected] | |
with: | |
pixi-version: "latest" | |
- name: Prepare pixi | |
run: pixi run install-ci | |
- name: Check Quarto installation and all engines | |
run: pixi run quarto-check | |
- name: Render Quarto Project | |
run: pixi run quarto-render | |
- name: Publish Quarto Project | |
if: github.ref == 'refs/heads/main' | |
uses: peaceiris/actions-gh-pages@v4 | |
with: | |
github_token: ${{ secrets.GITHUB_TOKEN }} | |
publish_dir: ./docs/_site | |
env: | |
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} |