Try building the documentation on GitHub Actions

FreddieChopin · Apr 4, 2024 · 5ddea7c · 5ddea7c
1 parent 6d9f6eb
commit 5ddea7c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build-test.yml b/.github/workflows/build-test.yml
@@ -22,7 +22,7 @@ jobs:
  sudo apt install ninja-build
  - name: Build
  shell: bash
- run: ./build-bleeding-edge-toolchain.sh --skip-documentation
+ run: ./build-bleeding-edge-toolchain.sh
  - name: Print info about generated package
  run: ls -l arm-none-eabi-gcc-*.tar.xz
  - name: Print contents of generated info.txt