File tree Expand file tree Collapse file tree 1 file changed +3
-2
lines changed Expand file tree Collapse file tree 1 file changed +3
-2
lines changed Original file line number Diff line number Diff line change 34
34
35
35
- name : Initialize deploy tools
36
36
env :
37
- ESP8266_ARDUINO_CORE_DIR : ${{ github.workspace }}/esp8266
38
37
SSH_DEPLOY_KEY : ${{ secrets.SSH_DEPLOY_KEY }}
39
38
run : |
40
39
mkdir ${HOME}/.ssh
45
44
echo -ne "Host github.com\n\tHostname github.com\n\tIdentityFile ~/.ssh/deploy_key\n" > \
46
45
${HOME}/.ssh/config
47
46
47
+ pushd esp8266
48
48
git config user.name "Maxim Prokhorov (CI)"
49
49
git config user.email "[email protected] "
50
+ popd
50
51
51
52
- name : Initialize build environment
52
53
run : |
56
57
57
58
- name : Prepare lwip2 builder
58
59
run : |
59
- pushd ${ESP8266_ARDUINO_CORE_DIR}
60
+ pushd esp8266
60
61
git remote add deploy [email protected] :${{ github.repository }}.git
61
62
git switch -c lwip2-rebuild
62
63
git submodule update --init -- tools/sdk/lwip2/builder
You can’t perform that action at this time.
0 commit comments