diff options
| author | Dario Nieuwenhuis <[email protected]> | 2023-02-13 01:30:53 +0100 |
|---|---|---|
| committer | Dario Nieuwenhuis <[email protected]> | 2023-02-13 01:30:53 +0100 |
| commit | 80b7c3cf69141c76ba2ae099225c2580cd430086 (patch) | |
| tree | a38b24c6828d997cf01af229afc057e8f05c319f /.github/workflows/doc.yml | |
| parent | d159a6c62d09155261c14edec69dc9dd9e662a92 (diff) | |
Fix doc build.
Diffstat (limited to '.github/workflows/doc.yml')
| -rw-r--r-- | .github/workflows/doc.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml index 8a341b8f7..827f88178 100644 --- a/.github/workflows/doc.yml +++ b/.github/workflows/doc.yml | |||
| @@ -17,7 +17,7 @@ jobs: | |||
| 17 | strategy: | 17 | strategy: |
| 18 | matrix: | 18 | matrix: |
| 19 | crates: | 19 | crates: |
| 20 | - stm32 | 20 | #- stm32 # runs out of disk space... |
| 21 | - rest | 21 | - rest |
| 22 | 22 | ||
| 23 | # This will ensure at most one doc build job is running at a time | 23 | # This will ensure at most one doc build job is running at a time |
| @@ -46,7 +46,7 @@ jobs: | |||
| 46 | 46 | ||
| 47 | - name: Install docserver | 47 | - name: Install docserver |
| 48 | run: | | 48 | run: | |
| 49 | wget -q -O /usr/local/bin/builder "https://github.com/embassy-rs/docserver/releases/download/v0.3/builder" | 49 | wget -q -O /usr/local/bin/builder "https://github.com/embassy-rs/docserver/releases/download/v0.4/builder" |
| 50 | chmod +x /usr/local/bin/builder | 50 | chmod +x /usr/local/bin/builder |
| 51 | 51 | ||
| 52 | - name: build-stm32 | 52 | - name: build-stm32 |