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: Swatinem/rust-cache@v2
23 with: { shared-key: build }
24 - run: cargo doc --locked --no-deps
25 - uses: extractions/setup-just@v3
26 - run: just timings
27 - name: publish results.csv as timings.csv
28 run: cp results.csv target/doc/timings.csv
29 - name: make / redirect to /shapemaker/index.html
30 run: |
31 echo '<meta http-equiv="refresh" content="0; url=shapemaker/index.html">' > target/doc/index.html
32 - name: Deploy with gh-pages
33 uses: peaceiris/actions-gh-pages@v4
34 with:
35 keep_files: true
36 force_orphan: true
37 publish_dir: target/doc
38 github_token: "${{ secrets.GITHUB_TOKEN }}"