ci: use cd instead of pushd
This commit is contained in:
parent
588d87dcf7
commit
1765c429c0
|
@ -77,12 +77,12 @@ jobs:
|
|||
echo "VERSION=$(./pkg-vsn.sh $PROFILE)" >> $GITHUB_OUTPUT
|
||||
- name: get_all_deps
|
||||
run: |
|
||||
pushd source
|
||||
cd source
|
||||
# make sure all previous left-overs are cleaned
|
||||
make clean-all
|
||||
# enterprise is a super-set, should be enough for all profiles
|
||||
make deps-emqx-enterprise
|
||||
popd
|
||||
cd ..
|
||||
zip -ryq source.zip source/* source/.[^.]*
|
||||
- uses: actions/upload-artifact@v3
|
||||
with:
|
||||
|
|
|
@ -28,12 +28,12 @@ jobs:
|
|||
fetch-depth: 0
|
||||
- name: get_all_deps
|
||||
run: |
|
||||
pushd source
|
||||
cd source
|
||||
# make sure all previous left-overs are cleaned
|
||||
make clean-all
|
||||
# enterprise is a super-set, should be enough for all profiles
|
||||
make deps-emqx-enterprise
|
||||
popd
|
||||
cd ..
|
||||
zip -ryq source.zip source/* source/.[^.]*
|
||||
- uses: actions/upload-artifact@v3
|
||||
with:
|
||||
|
|
Loading…
Reference in New Issue