chore: also push .domains to pages branch
All checks were successful
build site / build_site (push) Successful in 22s

This commit is contained in:
Julien Malka 2024-10-11 15:32:56 +02:00
parent 87643fc249
commit b392df14f3
No known key found for this signature in database
GPG key ID: 6FC74C847011FD83

View file

@ -15,7 +15,7 @@ jobs:
- name: Pushing site to pages branch
run: |
git switch -C pages
find . -mindepth 1 -maxdepth 1 ! -name '.git' ! -name 'result' -exec rm -rf {} +
find . -mindepth 1 -maxdepth 1 ! -name '.domains' ! -name '.git' ! -name 'result' -exec rm -rf {} +
ls -a
cp -r result/* .
rm result