Skip to content

Port Update

Port Update #10014

Workflow file for this run

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