f5b8e27df7
* ci(refactor): Refactor workflows and skip files * ci(refactor): Refactor workflows and skip files * ci(refactor): Improvements and compilation of only related files * ci(refactor): Delete duplicated steps * ci(refactor): General improvements * ci(refactor): Delete duplicated lines * ci(refactor): Rename jobs
11 lines
408 B
Bash
Executable file
11 lines
408 B
Bash
Executable file
#!/bin/bash
|
|
CHANGED_FILES=$1
|
|
echo "Pushing '$CHANGED_FILES' as github-actions[bot]"
|
|
git config --global github.user "github-actions[bot]"
|
|
git config --global user.name "github-actions[bot]"
|
|
git config --global user.email "41898282+github-actions[bot]@users.noreply.github.com"
|
|
for tool in $CHANGED_FILES; do
|
|
git add tools/$tool.exe
|
|
done
|
|
git commit -m "change(tools): Push generated binaries to PR"
|
|
git push
|