docs: even more fixes

adamperkowski · Nov 9, 2024 · f41ce21 · f41ce21
1 parent 63e6ca0
commit f41ce21
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 3 deletions.
diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
@@ -51,6 +51,8 @@ jobs:
     runs-on: ubuntu-latest
     permissions:
       contents: write
+    needs: deploy
+    if: always()
 
     steps:
       - uses: actions/checkout@v4
@@ -74,6 +76,6 @@ jobs:
 
       - name: Push the svg
         run: |
-          git add CONTRIBUTORS.svg
-          git commit -am "Update CONTRIBUTORS.svg"
-          git push --set-upstream origin gh-pages
+          git add CONTRIBUTORS.svg || true
+          git commit -am "update `CONTRIBUTORS.svg`" || true
+          git push --set-upstream origin gh-pages || true
diff --git a/book/src/highlightos.md b/book/src/highlightos.md
@@ -6,3 +6,9 @@ This documentation includes only the "main kernel" (inside the `/kernel` directo
 Documentation for bleeding-edge main can be found at [https://os.adamperkowski.dev/main](https://os.adamperkowski.dev/main).
 
 Keep in mind that this website is still a WIP.
+
+## Contributors
+
+<a href="https://github.com/adamperkowski/highlightos/graphs/contributors">
+  <img src="https://raw.githubusercontent.com/adamperkowski/highlightos/gh-pages/CONTRIBUTORS.svg"/>
+</a>