.github/workflows/publish_docs.yml

name: Publish Docs

on:
  push:
    branches:
      - main

env:
  CARGO_TERM_COLOR: always

jobs:
  publish_docs:
    runs-on: ubuntu-latest
    steps:
      - name: Checkout code
        uses: actions/checkout@v4
      - uses: mkroening/rust-toolchain-toml@main
      - run: rustup target add x86_64-unknown-none
      - name: Generate documentation
        run: cargo doc --target x86_64-unknown-none --package hermit-kernel
      - name: Generate index.html
        run: |
          cat > target/x86_64-unknown-none/doc/index.html <<EOL
          <!doctype html>
          <html>
            <head>
              <title>Redirect!</title>
              <meta http-equiv="refresh" content="0; url=https://hermit-os.github.io/kernel/hermit/" />
            </head>
            <body>
              <p><a href="https://hermit-os.github.io/kernel/hermit/">Redirect</a></p>
            </body>
          </html>
          EOL
      - name: Deploy documentation
        if: success()
        uses: crazy-max/ghaction-github-pages@v4
        with:
          target_branch: gh-pages
          build_dir: target/x86_64-unknown-none/doc
        env:
          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}