Skip to content

Merge branch 'public' into fra1 #773

Merge branch 'public' into fra1

Merge branch 'public' into fra1 #773

Workflow file for this run

---
jobs:
deploy:
runs-on: ubuntu-latest
steps:
- name: Check out code
uses: actions/checkout@v6
with:
fetch-depth: 0
submodules: true
- name: "Set up Python 3.14"
uses: actions/setup-python@v6
with:
python-version: '3.14'
- name: Install Python dependencies
run: |
pip install tox
- env:
DOCS_DEPLOY_DEFAULT_BRANCH: "kna1"
GIT_COMMITTER_EMAIL: "${{ github.actor }}@users.noreply.github.com"
GIT_COMMITTER_NAME: "${{ github.actor }}"
name: Deploy to gh-pages
run: |
tox -e mike -- --push
name: deploy
'on':
push:
branches:
- kna1
- fra1
- sto2
- sto1hs
- sto2hs
- sto-com