-
Notifications
You must be signed in to change notification settings - Fork 111
48 lines (44 loc) · 1.32 KB
/
merge.yml
File metadata and controls
48 lines (44 loc) · 1.32 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
name: Merge to master or develop
on:
push:
branches: [master, develop]
workflow_dispatch:
permissions:
contents: write
actions: read
concurrency:
group: merge-develop
cancel-in-progress: false
jobs:
build_documentation:
name: macOS Docs Deployment
runs-on: macos-latest
steps:
- uses: actions/checkout@v5
with:
ref: ${{ github.ref }}
fetch-depth: 0
- uses: ./.github/actions/data-cache
- name: Build Basilisk
uses: ./.github/actions/build
with:
python-version: 3.14
conan-args: --opNav True --allOptPkg --mujoco True --mujocoReplay True
- name: Build docs
uses: ./.github/actions/docs
- name: Deploy non-develop branch merges to /
if: success() && github.ref_name != 'develop'
uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./docs/build/html
destination_dir: .
force_orphan: true
- name: Deploy develop branch merges to /develop
if: success() && github.ref_name == 'develop'
uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./docs/build/html
destination_dir: develop
keep_files: true