mirror of
https://github.com/basnijholt/adaptive-lighting.git
synced 2026-09-11 22:34: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
11 lines
224 B
Bash
Executable file
11 lines
224 B
Bash
Executable file
#!/usr/bin/env bash
|
|
|
|
set -ex
|
|
|
|
cd "$(dirname "$0")/.."
|
|
|
|
uv sync --group docs
|
|
uv pip install -e .
|
|
uv run python docs/run_markdown_code_runner.py
|
|
uv run python .github/update-services.py
|
|
uv run python .github/update-strings.py
|