Deploy Documentation to GitHub Pages #9

	# name: Publish Rust documentation to github pages

	# on:
	# push:
	# workflow_dispatch:

	# jobs:
	# publish:
	# runs-on: ubuntu-latest

	# steps:
	# # Step 1: Checkout the repository
	# - name: Checkout Repository
	# uses: actions/checkout@v3

	# # Step 2: Install Rust toolchain
	# - name: Install Rust
	# uses: actions-rs/toolchain@v1
	# with:
	# toolchain: stable # Use the stable Rust version
	# override: true

	# - name: Build docs
	# run: \|
	# cd ic/libraries/
	# sh generatedocs.sh

	# - name: Deploy to GH Pages 🚀
	# uses: peaceiris/actions-gh-pages@v3
	# with:
	# github_token: ${{ secrets.GITHUB_TOKEN }}
	# publish_dir: ic/libraries/target/doc/verity_dp_ic

Provide feedback