forcibly recompile the libs, so if deps get updated, this will be carried through.

This sacrifices a bit of workflow performance, but won't be too
significant. The heaviest step (cmake) is still circumvented
This commit is contained in:
2025-09-15 09:40:31 +02:00
parent 1ac4592503
commit 0f6a2579b9

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 -j libs - run: make -Bj libs
- run: make -j all - run: make -j all
- run: make -j test - run: make -j test