From 1169ca98b1801dd24a3f1ce4f71b913465903d8e Mon Sep 17 00:00:00 2001 From: Quinn Date: Sat, 13 Sep 2025 21:11:58 +0200 Subject: [PATCH] use threaded makefile for more efficiency. --- .github/workflows/ci.yaml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index 002b76d..7e49af3 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -32,6 +32,6 @@ jobs: path: lib/obj/ key: ${{runner.os}}-lib/obj-${{github.sha}} restore-keys: ${{runner.os}}-lib/obj- - - run: make libs - - run: make all - - run: make test + - run: make -j libs + - run: make -j all + - run: make -j test