Port Update #10013

	name: Port Update

	on:
	push:
	branches:
	- master
	paths:
	- '**.el'
	- '**.yml'
	- 'Formula/**'
	pull_request:
	branches:
	- master
	paths-ignore:
	- '**.md'
	workflow_run:
	workflows: ["checksum"]
	types:
	- completed
	workflow_dispatch:

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

	jobs:
	build:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4

	- uses: jcs090218/setup-emacs@master
	with:
	version: 29.4

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

	- name: Update Portfile
	run: \|
	eask install-deps
	eask run script port-update

	- name: Set git config
	run: \|
	git config user.name github-actions
	git config user.email [email protected]

	- name: Commit
	continue-on-error: true
	run: \|
	git pull
	git add .
	git commit -m "Update Port Portfile"

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

Provide feedback