How to compile & link for hardware FPU (STM32L4 - Bosch BSEC library)

So now things are building properly locally, but the build on github actions workflow still fails at the linker…

cannot find -lalgobsec ??

Linking .pio/build/production/firmware.elf
/home/runner/.platformio/packages/toolchain-gccarmnoneeabi/bin/../lib/gcc/arm-none-eabi/7.2.1/../../../../arm-none-eabi/bin/ld: cannot find -lalgobsec
collect2: error: ld returned 1 exit status

I have checked uppercase/lowercase problems (as my pc is windows, and the github actions runner is linux), but seems ok.
It’s not a huge problem, as the builds work fine locally, so I can proceed with the development, but it would be nice to stick to the standard workflow that I use, and that builds the production binaries in the CI/CD workflow.