Merge pull request #11 from tertsdiepraam/homepage

attempt to fix homepage CI
This commit is contained in:
Terts Diepraam
2023-08-21 11:14:49 +02:00
committed by GitHub
+6 -7
View File
@@ -74,6 +74,12 @@ jobs:
publish_dir: ./findutils/public/
destination_dir: findutils/
- name: Deploy Homepage
uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./homepage
docs:
name: generate the dev doc
runs-on: ubuntu-latest
@@ -104,13 +110,6 @@ jobs:
publish_dir: ./coreutils/target/doc
destination_dir: coreutils/dev/
- name: Deploy Homepage
uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./homepage
destination_dir: /
build-report:
name: generate the build report
runs-on: ubuntu-latest