diff options
Diffstat (limited to '.github/workflows')
| -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 |