feat: add docs

This commit is contained in:
Eric
2026-03-04 14:38:30 +01:00
parent 0c1dcd505f
commit 9e82a7baea
15 changed files with 321 additions and 26 deletions

View File

@@ -1,3 +1,6 @@
package(default_visibility = ["//visibility:public"])
exports_files(["ci.yml"])
exports_files([
"ci.yml",
"pages.yml",
])

51
.github/workflows/pages.yml vendored Normal file
View File

@@ -0,0 +1,51 @@
name: Docs Pages
on:
push:
branches: ["main"]
workflow_dispatch:
permissions:
contents: read
pages: write
id-token: write
concurrency:
group: pages
cancel-in-progress: true
jobs:
deploy:
runs-on: ubuntu-latest
env:
USE_BAZEL_VERSION: 9.0.0
environment:
name: github-pages
url: ${{ steps.deployment.outputs.page_url }}
steps:
- uses: actions/checkout@v4
- uses: bazel-contrib/setup-bazel@0.15.0
- name: Generate rule docs
run: |
bazel build //docs:rules_md
cp bazel-bin/docs/rules.md docs/rules.md
- name: Setup Pages
uses: actions/configure-pages@v5
- name: Build with Jekyll
uses: actions/jekyll-build-pages@v1
with:
source: docs
destination: _site
- name: Upload Pages artifact
uses: actions/upload-pages-artifact@v3
with:
path: _site
- name: Deploy to GitHub Pages
id: deployment
uses: actions/deploy-pages@v4