Archive #17477

	name: Archive

	on:
	workflow_run:
	workflows: ["Build"]
	types:
	- completed
	workflow_dispatch:

	concurrency:
	group: ${{ github.workflow }}-${{ github.ref }}
	cancel-in-progress: true

	jobs:
	build:
	runs-on: ubuntu-latest
	steps:
	- uses: jcs090218/setup-emacs@master
	with:
	version: 29.4

	- uses: emacs-eask/setup-eask@master
	with:
	version: 'snapshot'

	- uses: actions/checkout@v4

	- name: Generate archive.json file
	run: make generate_archive_json

	- name: Set git config
	run: \|
	git config user.name github-actions
	git config user.email github-actions@github.com

	- name: Commit generated archive.json
	continue-on-error: true
	run: \|
	git pull --rebase --autostash
	git add .
	git commit -m "Update archive.json"

	- name: Push updated data
	continue-on-error: true
	uses: jcs090218/github-push-action@master
	with:
	branch: master
	rebase: true
	retry: 3

Provide feedback