-
-
Notifications
You must be signed in to change notification settings - Fork 0
76 lines (58 loc) · 1.66 KB
/
build.yaml
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
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
name: build
on:
pull_request:
branches: [ main ]
push:
branches: [ main ]
schedule:
- cron: '0 9 * * *'
workflow_dispatch:
jobs:
test:
name: build
runs-on: macOS-ventura
steps:
- name: Checkout repository
uses: actions/checkout@v4
with:
submodules: recursive
fetch-depth: 0
- name: Install dependencies
run: scripts/install-dependencies.sh
- name: Build
run: exec ./scripts/build.sh
- name: Release
if: github.ref == 'refs/heads/main'
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
run: scripts/release.sh
documentation-build:
runs-on: macos-ventura
steps:
- name: Checkout repository
uses: actions/checkout@v4
with:
submodules: recursive
- name: Build documentation
run: |
scripts/build-documentation.sh
chmod -v -R +rX "_site/"
- name: Upload Pages artifact
uses: actions/upload-pages-artifact@v3
documentation-deploy:
needs: documentation-build
if: ${{ github.ref == 'refs/heads/main' }}
# Grant GITHUB_TOKEN the permissions required to make a Pages deployment
permissions:
pages: write # to deploy to Pages
id-token: write # to verify the deployment originates from an appropriate source
# Deploy to the github-pages environment
environment:
name: github-pages
url: ${{ steps.deployment.outputs.page_url }}
# Specify runner + deployment step
runs-on: ubuntu-latest
steps:
- name: Deploy to GitHub Pages
id: deployment
uses: actions/deploy-pages@v4 # or the latest "vX.X.X" version tag for this action