Update readme badges #4

	---
	name: deploy_pages

	on:
	# runs on pushes targeting the default branch
	push:
	branches: ["master"]

	# allows to run this workflow manually from the actions tab
	workflow_dispatch:

	# set permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
	permissions:
	contents: read
	pages: write
	id-token: write

	# allow one concurrent deployment
	concurrency:
	group: "pages"
	cancel-in-progress: true

	jobs:
	test:
	uses: ./.github/workflows/run_tests.yaml
	permissions: write-all
	build:
	needs:
	- test
	runs-on: ubuntu-latest
	steps:
	- name: checkout
	uses: actions/checkout@v3
	- name: install Ruby
	run: \|
	sudo apt update -y && sudo apt install -y ruby-full bundler
	- name: install Ruby libraries
	run: \|
	bundle config set --local path vendor
	bundle install
	- name: build with Jekyll
	# outputs to './_site' by default
	run: \|
	bundle exec jekyll build --baseurl "${{steps.pages.outputs.base_path}}"
	env:
	JEKYLL_ENV: production
	- name: upload artifact
	uses: actions/upload-pages-artifact@v3
	with:
	path: ./_site
	name: github-pages

	deploy:
	environment:
	name: github-pages
	url: ${{steps.deployment.outputs.page_url}}
	runs-on: ubuntu-latest
	needs: build
	steps:
	- name: deploy to GitHub Pages
	id: deployment
	uses: actions/deploy-pages@v4

Provide feedback