mirror of
https://github.com/italicsjenga/vello.git
synced 2025-01-10 20:51:29 +11:00
a2f9e106cc
Also remove 'shader/gen' gitignore line in main (it's present in dev).
39 lines
1.2 KiB
YAML
39 lines
1.2 KiB
YAML
on:
|
|
push:
|
|
branches:
|
|
- dev
|
|
|
|
jobs:
|
|
push-shaders:
|
|
runs-on: windows-latest
|
|
name: compile shaders and push to main
|
|
steps:
|
|
- uses: actions/checkout@v3
|
|
with:
|
|
# need history to make the merge work
|
|
# possibly we can optimize this and set
|
|
# allow-unrelated-histories on merge
|
|
fetch-depth: 0
|
|
- name: prepare repo for compilation
|
|
run: |
|
|
git fetch origin main
|
|
git switch main
|
|
git config user.name "Commit by GitHub Action"
|
|
git config user.email "nobody@example.com"
|
|
git merge dev -m "merge from dev branch"
|
|
sed -i '' '/shader\/gen/d' .gitignore
|
|
git add .gitignore
|
|
git rm -r --ignore-unmatch piet-gpu/shader/gen
|
|
git rm -r --ignore-unmatch tests/shader/gen
|
|
git rm -r --ignore-unmatch piet-gpu-hal/examples/shader/gen
|
|
- uses: ./.github/actions/shader
|
|
- name: commit compiled shaders
|
|
continue-on-error: true
|
|
run: |
|
|
git add piet-gpu/shader/gen
|
|
git add tests/shader/gen
|
|
git add piet-gpu-hal/examples/shader/gen
|
|
git commit -m "commit compiled shaders"
|
|
- name: push
|
|
run: git push origin main
|