wip-125 #109

	name: push-rustdoc-7_1_12

	env:
	image_version: 7_1_12
	image_tag: 6e8cf17eb9fb

	on:
	push:
	branches: ["main"]

	jobs:
	job-on-push:
	runs-on: ubuntu-22.04

	steps:
	- uses: actions/checkout@v2
	-
	name: Pull ghcr.io/fdb-rs/fdb-rl-${{ env.image_version }}:${{ env.image_tag }} container
	run: \|
	sudo podman pull ghcr.io/fdb-rs/fdb-rl-${{ env.image_version }}:${{ env.image_tag }}
	-
	name: Start container
	run: \|
	sudo podman run --name fdb-rl --volume ${GITHUB_WORKSPACE}:/home/runner/fdb-rl --rm ghcr.io/fdb-rs/fdb-rl-${{ env.image_version }}:${{ env.image_tag }} &
	-
	name: Run 7.1/push_rustdoc.sh
	run: \|
	sudo podman exec --user runner:docker --workdir /home/runner/fdb-rl/nix/ci --tty fdb-rl nix develop .#push_rustdoc-7_1_12 --command ./7.1/push_rustdoc.sh
	-
	name: Deploy docs
	uses: peaceiris/actions-gh-pages@v3
	with:
	github_token: ${{ secrets.GITHUB_TOKEN }}
	publish_branch: gh-pages
	publish_dir: ./target/doc
	-
	name: Stop container
	run: \|
	sudo podman stop fdb-rl

Provide feedback