Merge pull request #9 from Relm4/dependabot/github_actions/peaceiris/… #891

	name: docs

	on:
	push:
	# schedule:
	# - cron: '42 /12 * *'

	jobs:
	build-deploy:
	runs-on: ubuntu-latest
	container:
	image: ghcr.io/relm4/relm4/docs:latest
	name: build
	steps:
	- uses: actions/checkout@v4
	with:
	ref: main

	# Install nightly Rust
	- uses: dtolnay/rust-toolchain@stable
	with:
	toolchain: nightly

	# Build the docs
	- run: ./build_relm_docs.sh

	# Fix SSH configuration of the container
	- run: ./fix_ssh.sh

	- name: Deploy
	uses: peaceiris/actions-gh-pages@v4
	with:
	deploy_key: ${{ secrets.ACTIONS_DEPLOY_KEY }}
	external_repository: Relm4/website
	publish_dir: ./docs
	destination_dir: ./docs

Provide feedback