use threaded makefile for more efficiency.

This commit is contained in:
2025-09-13 21:11:58 +02:00
parent 75ebff9071
commit 1169ca98b1

View File

@@ -32,6 +32,6 @@ jobs:
path: lib/obj/ path: lib/obj/
key: ${{runner.os}}-lib/obj-${{github.sha}} key: ${{runner.os}}-lib/obj-${{github.sha}}
restore-keys: ${{runner.os}}-lib/obj- restore-keys: ${{runner.os}}-lib/obj-
- run: make libs - run: make -j libs
- run: make all - run: make -j all
- run: make test - run: make -j test