diff --git a/.github/workflows/linux-build.yml b/.github/workflows/linux-build.yml index 80fa2634..bb226165 100644 --- a/.github/workflows/linux-build.yml +++ b/.github/workflows/linux-build.yml @@ -50,6 +50,11 @@ jobs: make test config=debug64 -j4 make test config=release64 -j4 + - name: Compile quick_start + run: | + make quick_start config=debug64 -j4 + make quick_start config=release64 -j4 + - name: Compile pyllbc lib code run: | make py_wrap config=debug64 -j4 diff --git a/.github/workflows/macos-build.yml b/.github/workflows/macos-build.yml index 7a715534..d4474bde 100644 --- a/.github/workflows/macos-build.yml +++ b/.github/workflows/macos-build.yml @@ -32,6 +32,10 @@ jobs: run: | make test config=release64 -j4 + - name: Compile quick_start + run: | + make quick_start config=release64 -j4 + - name: Build all target by cmake run: | mkdir cmake_build