mirror of
https://github.com/basnijholt/adaptive-lighting.git
synced 2026-09-12 06:44:04 +02:00
d964c861d5
This fixes the workflow to work for pull requests in addition to pushes: - Correctly determines the repository and branch - For pull requests, if there are changes, fails with a message to make the changes locally - Extracts the commands to update generated files into a script
48 lines
1.5 KiB
YAML
48 lines
1.5 KiB
YAML
name: markdown-code-runner
|
|
|
|
on:
|
|
push:
|
|
branches:
|
|
- main
|
|
pull_request:
|
|
|
|
jobs:
|
|
markdown-code-runner:
|
|
runs-on: ubuntu-latest
|
|
steps:
|
|
- name: Check out code from GitHub
|
|
uses: actions/checkout@v6
|
|
with:
|
|
repository: ${{ github.event.pull_request.head.repo.full_name || github.repository }}
|
|
ref: ${{ github.head_ref || github.ref }}
|
|
fetch-depth: 0
|
|
|
|
- name: Set up Python
|
|
uses: actions/setup-python@v6
|
|
with:
|
|
python-version: "3.14.2"
|
|
|
|
- name: Install uv
|
|
uses: astral-sh/setup-uv@v7
|
|
|
|
- name: Update generated content
|
|
run: ./scripts/update-generated-content
|
|
|
|
- name: Check for changes
|
|
run: |
|
|
if [ -n "$(git status --porcelain)" ]; then
|
|
if [ "${{ github.event_name }}" == "pull_request" ]; then
|
|
echo "::error::Auto-generated files are not up to date. Please run './scripts/update-generated-content' locally and push the changes."
|
|
exit 1
|
|
else
|
|
echo "Changes detected, committing and pushing..."
|
|
git add -u .
|
|
git config --local user.email "github-actions[bot]@users.noreply.github.com"
|
|
git config --local user.name "github-actions[bot]"
|
|
git commit -m "Update auto-generated content"
|
|
git pull --rebase
|
|
git push
|
|
fi
|
|
else
|
|
echo "No changes detected."
|
|
fi
|