ci: only run generate for dev

This commit is contained in:
Aiden Cline 2025-12-18 22:17:36 -06:00
parent 382905602c
commit 3274a5813e

View file

@ -2,11 +2,8 @@ name: generate
on:
push:
branches-ignore:
- production
pull_request:
branches-ignore:
- production
branches:
- dev
workflow_dispatch:
jobs:
@ -39,15 +36,16 @@ jobs:
git config --local user.name "GitHub Action"
git add -A
git commit -m "chore: generate"
if ! git push origin HEAD:${{ github.event.pull_request.head.ref || github.ref_name }} --no-verify; then
echo ""
echo "============================================"
echo "Failed to push generated code."
echo "Please run locally and push:"
echo ""
echo " ./script/generate.ts"
echo " git add -A && git commit -m \"chore: generate\" && git push"
echo ""
echo "============================================"
exit 1
fi
git push origin HEAD:${{ github.ref_name }} --no-verify
# if ! git push origin HEAD:${{ github.event.pull_request.head.ref || github.ref_name }} --no-verify; then
# echo ""
# echo "============================================"
# echo "Failed to push generated code."
# echo "Please run locally and push:"
# echo ""
# echo " ./script/generate.ts"
# echo " git add -A && git commit -m \"chore: generate\" && git push"
# echo ""
# echo "============================================"
# exit 1
# fi