This repository has no description
1name: Documentation
2
3on:
4 push:
5 branches: [main]
6
7permissions:
8 contents: write
9
10concurrency:
11 group: deploy-docs
12 cancel-in-progress: true
13
14jobs:
15 deploy:
16 name: Deploy
17 runs-on: ubuntu-latest
18 steps:
19 - uses: actions/checkout@v5
20 - name: Install FFMpeg
21 uses: FedericoCarboni/setup-ffmpeg@v3
22 - uses: actions-rs/toolchain@v1
23 with: { toolchain: stable }
24 - uses: Swatinem/rust-cache@v2
25 - uses: actions-rs/cargo@v1
26 with: { command: doc, args: --no-deps }
27 - uses: extractions/setup-just@v3
28 - run: just timings
29 - name: publish results.csv as timings.csv
30 run: cp results.csv target/doc/timings.csv
31 - name: make / redirect to /shapemaker/index.html
32 run: |
33 echo '<meta http-equiv="refresh" content="0; url=shapemaker/index.html">' > target/doc/index.html
34 - name: Deploy with gh-pages
35 uses: peaceiris/actions-gh-pages@v4
36 with:
37 keep_files: true
38 force_orphan: true
39 publish_dir: target/doc
40 github_token: "${{ secrets.GITHUB_TOKEN }}"