File tree Expand file tree Collapse file tree 1 file changed +3
-0
lines changed Expand file tree Collapse file tree 1 file changed +3
-0
lines changed Original file line number Diff line number Diff line change @@ -22,13 +22,15 @@ jobs:
2222 echo "VERSION=$VERSION" >> "$GITHUB_ENV"
2323 - name : Copy & commit
2424 run : |
25+ # Copy
2526 cd typst-packages
2627 git branch -D accelerated-jacow-$VERSION 2>/dev/null || true
2728 git checkout -b accelerated-jacow-$VERSION
2829 mkdir -p packages/preview/accelerated-jacow/$VERSION
2930 rm -drf packages/preview/accelerated-jacow/$VERSION/*
3031 cp -r ../accelerated-jacow/* packages/preview/accelerated-jacow/$VERSION/
3132 ls -l packages/preview/accelerated-jacow/$VERSION/
33+ # Commit
3234 git config user.name "Eltos"
3335 git config user.email "[email protected] " 3436 git add packages/preview/accelerated-jacow/$VERSION/
4143 chmod 600 ~/.ssh/id_ed25519
4244 ssh-keyscan github.com >> ~/.ssh/known_hosts
4345 # Push
46+ cd typst-packages
4447 git config push.autoSetupRemote true
4548 git push --force
You can’t perform that action at this time.
0 commit comments