Update feed #470

	name: Update feed

	on:
	schedule:
	- cron: "43 3 * * *"
	push:
	branches: [ "main" ]

	workflow_dispatch:

	permissions:
	contents: write
	pages: write
	id-token: write

	concurrency:
	group: "pages"
	cancel-in-progress: true

	jobs:
	build:
	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11 # v4.1.1
	- name: Set up Ruby
	uses: ruby/setup-ruby@5daca165445f0ae10478593083f72ca2625e241d # v1.169.0
	with:
	bundler-cache: true
	- name: Run build.sh
	run: ./build.sh
	- name: Push updated
	run: \|
	git config --local user.email "github-actions[bot]@users.noreply.github.com"
	git config --local user.name "github-actions[bot]"
	git add .
	git commit -am "Update feed" \|\| true
	git push

	deploy:
	needs: build
	environment:
	name: github-pages
	url: ${{ steps.deployment.outputs.page_url }}
	runs-on: ubuntu-latest
	steps:
	- name: Checkout
	uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11 # v4.1.1
	with:
	ref: main
	- name: Setup Pages
	uses: actions/configure-pages@1f0c5cde4bc74cd7e1254d0cb4de8d49e9068c7d # v4.0.0
	- name: Upload artifact
	uses: actions/upload-pages-artifact@0252fc4ba7626f0298f0cf00902a25c6afc77fa8 # v3.0.0
	with:
	# Upload entire repository
	path: './docs'
	- name: Deploy to GitHub Pages
	id: deployment
	uses: actions/deploy-pages@87c3283f01cd6fe19a0ab93a23b2f6fcba5a8e42 # v4.0.3

Provide feedback