Skip to content

Refresh

Refresh #20775

Workflow file for this run

name: Refresh
on:
push:
branches:
- master
pull_request:
branches:
- master
schedule:
- cron: '0 * * * *'
workflow_dispatch:
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: true
jobs:
test:
runs-on: ${{ matrix.os }}
strategy:
fail-fast: false
matrix:
os: [ubuntu-latest]
emacs-version:
- 29.4
steps:
- uses: jcs090218/setup-emacs@master
with:
version: ${{ matrix.emacs-version }}
- uses: emacs-eask/setup-eask@master
with:
version: 'snapshot'
- uses: actions/checkout@v4
- name: Refresh archives
run: make refresh
- name: Set git config
run: |
git config user.name github-actions
git config user.email github-actions@github.com
- name: Push archives-contents
continue-on-error: true
run: |
git pull
git add .
git commit -m "Update archive-contetns"
git push
- name: Generate SVG badges (system)
run: make generate_badges_system
- name: Push generated badges (system)
continue-on-error: true
run: |
git pull
git add .
git commit -m "Update SVG badges - system"
git push