|
9 | 9 | # Allows you to run this workflow manually from the Actions tab |
10 | 10 | workflow_dispatch: |
11 | 11 |
|
12 | | -# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages |
13 | | -permissions: |
14 | | - contents: read |
15 | | - pages: write |
16 | | - id-token: write |
17 | | - |
18 | 12 | # Allow one concurrent deployment |
19 | 13 | concurrency: |
20 | 14 | group: "pages" |
21 | 15 | cancel-in-progress: true |
22 | 16 |
|
| 17 | +permissions: {} |
| 18 | + |
23 | 19 | jobs: |
24 | | - # Single deploy job since we’re just deploying |
25 | 20 | deploy: |
| 21 | + name: Single deploy job since we’re just deploying |
| 22 | + # Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages |
| 23 | + permissions: |
| 24 | + contents: read # necessary for the deployment to GitHub Pages |
| 25 | + pages: write # necessary for the deployment to GitHub Pages |
| 26 | + id-token: write # necessary for the deployment to GitHub Pages |
26 | 27 | environment: |
27 | 28 | name: github-pages |
28 | 29 | url: ${{ steps.deployment.outputs.page_url }} |
29 | 30 | runs-on: ubuntu-latest |
30 | 31 | steps: |
31 | 32 | - name: Checkout |
32 | | - uses: actions/checkout@v6 |
| 33 | + uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2 |
| 34 | + with: |
| 35 | + persist-credentials: false |
33 | 36 | - name: Install packages |
34 | 37 | run: sudo apt install plantuml |
35 | 38 | - name: Setup pandoc |
36 | | - uses: pandoc/actions/setup@v1 |
| 39 | + uses: pandoc/actions/setup@86321b6dd4675f5014c611e05088e10d4939e09e # v1.1.1 |
37 | 40 | - name: Setup python |
38 | | - uses: actions/setup-python@v6 |
| 41 | + uses: actions/setup-python@a309ff8b426b58ec0e2a45f0f869d46889d02405 # v6.2.0 |
39 | 42 | with: |
40 | 43 | python-version-file: .python-version |
41 | 44 | architecture: x64 |
42 | 45 | - name: Setup cached uv |
43 | | - uses: hynek/setup-cached-uv@v2 |
| 46 | + uses: hynek/setup-cached-uv@4300ec2180bc77d705e626a34e381b81a4772c51 # v2.5.0 |
44 | 47 | - name: Build and activate venv |
45 | 48 | run: | |
46 | 49 | uv venv |
47 | 50 | echo "$PWD/.venv/bin" >> $GITHUB_PATH |
48 | 51 | uv pip install --group=docs |
49 | 52 | - name: Setup Pages |
50 | | - uses: actions/configure-pages@v5 |
| 53 | + uses: actions/configure-pages@45bfe0192ca1faeb007ade9deae92b16b8254a0d # v6.0.0 |
51 | 54 | - name: Build HTML |
52 | 55 | run: uv run make html |
53 | 56 | working-directory: docs/ |
54 | 57 | - name: Upload artifact |
55 | | - uses: actions/upload-pages-artifact@v4 |
| 58 | + uses: actions/upload-pages-artifact@fc324d3547104276b827a68afc52ff2a11cc49c9 # v5.0.0 |
56 | 59 | with: |
57 | 60 | path: docs/_build/html |
58 | 61 | - name: Deploy to GitHub Pages |
59 | 62 | id: deployment |
60 | | - uses: actions/deploy-pages@v4 |
| 63 | + uses: actions/deploy-pages@cd2ce8fcbc39b97be8ca5fce6e763baed58fa128 # v5.0.0 |
0 commit comments