gen-html #482

	name: gen-html

	on:
	workflow_dispatch: {}
	schedule:
	# runs twice daily, at 01:00 UTC and 13:00 UTC
	- cron: '0 1 * * *'
	- cron: '0 13 * * *'

	jobs:
	build:
	permissions:
	id-token: write # Enable OIDC
	pull-requests: write
	contents: write
	runs-on: ubuntu-latest
	steps:
	- name: checkout repo content
	uses: actions/checkout@v2
	- uses: imjasonh/[email protected]
	- uses: sigstore/[email protected]
	- name: setup python
	uses: actions/setup-python@v2
	with:
	python-version: '3.10'
	- run: \|
	./gen-html.sh
	- name: gitsign
	uses: chainguard-dev/actions/setup-gitsign@main
	- name: commit files
	run: \|
	git config --local user.email "[email protected]"
	git config --local user.name "GitHub Action"
	git add *.html
	git commit -m "update html"
	git push origin main
	- if: ${{ failure() && github.event_name == 'schedule' }}
	uses: rtCamp/[email protected]
	env:
	SLACK_WEBHOOK: ${{ secrets.SLACK_WEBHOOK_URL }}
	SLACK_COLOR: '#8E1600'
	MSG_MINIMAL: 'true'
	SLACK_TITLE: gen-html failed.
	SLACK_MESSAGE: \|
	For detailed logs: https://github.com/${{ github.repository }}/actions/runs/${{ github.run_id }}

Provide feedback