This commit is contained in:
parent
eb2e09da8f
commit
9b7251aab1
1 changed files with 2 additions and 3 deletions
|
@ -12,10 +12,9 @@ jobs:
|
||||||
- name: Build the site
|
- name: Build the site
|
||||||
run: nix-build
|
run: nix-build
|
||||||
|
|
||||||
- name: Update dependencies and open PR if necessary
|
- name: Pushing site to pages branch
|
||||||
run: |
|
run: |
|
||||||
shopt -s extglob
|
find . -mindepth 1 ! -name 'result' -exec rm -rf {} +
|
||||||
rm -rf -- !(result)
|
|
||||||
cp -r result/* .
|
cp -r result/* .
|
||||||
rm result
|
rm result
|
||||||
git switch -C pages
|
git switch -C pages
|
||||||
|
|
Loading…
Reference in a new issue