diff options
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/release.yml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index 85175159..a5d82aeb 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -96,7 +96,8 @@ jobs: ${{ env.BOX64_PLATFORM_MARCRO }}\ -DCMAKE_BUILD_TYPE=${{ env.BOX64_BUILD_TYPE }}\ -DHAVE_TRACE=${{ env.BOX64_HAVE_TRACE }}\ - -DCMAKE_VERBOSE_MAKEFILE:BOOL=ON + -DCMAKE_VERBOSE_MAKEFILE:BOOL=ON\ + -DCI=${{ matrix.platform != 'ANDROID' }} make -j$(nproc) VERBOSE=1 - name: "Test Box64" |