Support conditions on linear combinations of variables for DiscreteControl
#3211
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: | |
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@v1 | |
with: | |
cache-compiled: "true" | |
cache-registries: "true" | |
- uses: prefix-dev/[email protected] | |
with: | |
pixi-version: "latest" | |
- name: Prepare pixi | |
run: pixi run --environment=dev install-ci | |
- name: Check Quarto installation and all engines | |
run: pixi run quarto-check | |
- name: Generate Julia docs | |
run: pixi run build-julia-docs | |
- name: Render Quarto Project | |
run: pixi run quarto-render | |
- name: Publish Quarto Project | |
if: github.ref == 'refs/heads/main' | |
uses: peaceiris/actions-gh-pages@v3 | |
with: | |
github_token: ${{ secrets.GITHUB_TOKEN }} | |
publish_dir: ./docs/_site | |
env: | |
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} |