ci: make $PROFILE instead of make $PROFILE-compile
This commit is contained in:
parent
75834c2d91
commit
6093f03cb9
|
@ -91,7 +91,7 @@ jobs:
|
||||||
ENABLE_COVER_COMPILE: 1
|
ENABLE_COVER_COMPILE: 1
|
||||||
run: |
|
run: |
|
||||||
make ensure-rebar3
|
make ensure-rebar3
|
||||||
make ${PROFILE}-compile
|
make ${PROFILE}
|
||||||
make test-compile
|
make test-compile
|
||||||
zip -ryq $PROFILE.zip .
|
zip -ryq $PROFILE.zip .
|
||||||
- uses: actions/upload-artifact@v3
|
- uses: actions/upload-artifact@v3
|
||||||
|
|
Loading…
Reference in New Issue