Docs

Lock file maintenance (#150) #392

	name: Docs

	on:
	push:
	branches: [ main ]
	pull_request:
	branches: [ main ]

	workflow_dispatch:

	jobs:
	build:
	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@08c6903cd8c0fde910a37f88322edcfb5dd907a8 # v5

	- uses: dtolnay/rust-toolchain@master
	with:
	toolchain: 1.86.0
	targets: x86_64-unknown-illumos

	- name: generate documentation
	run: \|
	cargo doc --no-deps --target x86_64-unknown-illumos

	- name: prep deployment branch
	if: github.ref == 'refs/heads/main'
	run: \|
	mkdir -p dist
	cp -r target/x86_64-unknown-illumos/doc/* dist/
	cd dist
	git init
	git add -A
	git config --local user.email "[email protected]"
	git config --local user.name "GitHub Action"
	git commit -m 'deploy'

	- name: push deployment branch
	if: github.ref == 'refs/heads/main'
	uses: ad-m/github-push-action@77c5b412c50b723d2a4fbc6d71fb5723bcd439aa # v1.0.0
	with:
	github_token: ${{ secrets.GITHUB_TOKEN }}
	branch: gh-pages
	force: true
	directory: ./dist

Provide feedback