File tree Expand file tree Collapse file tree 1 file changed +3
-3
lines changed
Expand file tree Collapse file tree 1 file changed +3
-3
lines changed Original file line number Diff line number Diff line change @@ -85,13 +85,13 @@ jobs:
8585 run : |
8686 echo "SOFA_BRANCH_NAME=master" >> $GITHUB_ENV # SOFA_BRANCH_NAME: "master"
8787 echo "SOFA_COMMIT_SHA=HEAD" >> $GITHUB_ENV # SOFA_COMMIT_SHA: "HEAD"
88- echo "PRESET=full" >> $GITHUB_ENV # PRESET: "full"
88+ echo "PRESET=full-dev " >> $GITHUB_ENV # PRESET: "full-dev "
8989 echo "PYTHON_VERSION=3.12" >> $GITHUB_ENV # PYTHON_VERSION: "3.12"
9090 echo "CI_DEPENDS_ON=" >> $GITHUB_ENV # CI_DEPENDS_ON: ""
9191 echo "WITH_ALL_TESTS=false" >> $GITHUB_ENV # WITH_ALL_TESTS: false
9292 echo "FORCE_FULL_BUILD=false" >> $GITHUB_ENV # FORCE_FULL_BUILD: false
93- echo "EXTERNAL_PLUGINS=" >> $GITHUB_ENV # EXTERNAL_PLUGINS: ""
94- echo "ADDITIONNAL_CMAKE_FLAGS=" >> $GITHUB_ENV # ADDITIONNAL_CMAKE_FLAGS: ""
93+ echo "EXTERNAL_PLUGINS=" >> $GITHUB_ENV # EXTERNAL_PLUGINS: ""
94+ echo "ADDITIONNAL_CMAKE_FLAGS=" >> $GITHUB_ENV # ADDITIONNAL_CMAKE_FLAGS: ""
9595 echo "GENERATE_BINARIES=false" >> $GITHUB_ENV # GENERATE_BINARIES: false
9696 echo "PR_OWNER_URL=" >> $GITHUB_ENV # PR_OWNER_URL: ""
9797 echo "PR_BRANCH_NAME=" >> $GITHUB_ENV # PR_BRANCH_NAME: ""
You can’t perform that action at this time.
0 commit comments