Skip to content

remove diagrams, add images #344

remove diagrams, add images

remove diagrams, add images #344

Workflow file for this run

# This shrinks any pngs that are new in this PR, runs on push.
name: Shrink images
on:
push:
branches-ignore:
- main
paths:
- 'astro/public/**'
jobs:
shrink:
runs-on: ubuntu-latest
env:
GH_TOKEN: ${{ github.token }}
TINYPNG_API_KEY: "${{ secrets.TINYPNG_API_KEY }}"
steps:
- uses: actions/checkout@v4
- name: Shrink images using tinypng
run: |
bash ./src/new-images-shrink.sh
shell: bash
- uses: stefanzweifel/git-auto-commit-action@v5
with:
commit_message: Shrink images