Skip to content

publish main branch (master isn't longer supported) #449

publish main branch (master isn't longer supported)

publish main branch (master isn't longer supported) #449

Workflow file for this run

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
- name: Rustup (apply rust-toolchain.toml)
run: rustup show
- name: Install NASM
run: |
sudo apt-get update
sudo apt-get install nasm
- 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://hermitcore.github.io/kernel/hermit/" />
</head>
<body>
<p><a href="https://hermitcore.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 }}