Update feed #818

	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@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
	- name: Set up Ruby
	uses: ruby/setup-ruby@217c988b8c2bf2bacb2d5c78a7e7b18f8c34daed # v1.200.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@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
	with:
	ref: main
	- name: Setup Pages
	uses: actions/configure-pages@983d7736d9b0ae728b81ab479565c72886d7745b # v5.0.0
	- name: Upload artifact
	uses: actions/upload-pages-artifact@56afc609e74202658d3ffba0e8f6dda462b719fa # v3.0.1
	with:
	# Upload entire repository
	path: './docs'
	- name: Deploy to GitHub Pages
	id: deployment
	uses: actions/deploy-pages@d6db90164ac5ed86f2b6aed7e0febac5b3c0c03e # v4.0.5

Provide feedback