diff --git a/.github/workflows/m1_tests.yml b/.github/workflows/m1_tests.yml index e1dc7ad31..03e5180e9 100644 --- a/.github/workflows/m1_tests.yml +++ b/.github/workflows/m1_tests.yml @@ -28,38 +28,22 @@ jobs: toolchain: stable default: true - - name: Build doc + - name: Run pcc checks run: | - make doc - - - name: Clippy boolean - run: | - make clippy_boolean + make pcc - name: Build Release boolean run: | make build_boolean - - name: Clippy shortint - run: | - make clippy_shortint - - name: Build Release shortint run: | make build_shortint - - name: Clippy shortint and boolean - run: | - make clippy - - name: Build Release shortint and boolean run: | make build_boolean_and_shortint - - name: C API Clippy - run: | - make clippy_c_api - - name: Build Release c_api run: | make build_c_api