This commit is contained in:
parent
149f4e0495
commit
8a5d788d4f
1 changed files with 3 additions and 0 deletions
|
@ -14,7 +14,10 @@ jobs:
|
|||
|
||||
- name: Update dependencies and open PR if necessary
|
||||
run: |
|
||||
cp -r results/* .
|
||||
rm result
|
||||
git switch -C pages
|
||||
git add *
|
||||
|
||||
git config user.name "DGNum Chores"
|
||||
git config user.email "tech@dgnum.eu"
|
||||
|
|
Loading…
Reference in a new issue