time to build

This commit is contained in:
2025-07-04 12:57:23 +02:00
parent 1b82da8362
commit 3c8f5045f2

View File

@@ -22,6 +22,7 @@ jobs:
pushd sinqMotor pushd sinqMotor
sed -i 's/ARCH_FILTER=.*/ARCH_FILTER=linux%/' Makefile sed -i 's/ARCH_FILTER=.*/ARCH_FILTER=linux%/' Makefile
ls -lsah ls -lsah
ls -lsah src
make install make install
popd popd
- run: | - run: |