dev #2

Merged
chizeta merged 32 commits from dev into main 2024-02-02 20:36:53 +01:00
Showing only changes of commit 1a26f1407f - Show all commits

View file

@ -7,7 +7,7 @@ steps:
- source /opt/rh/gcc-toolset-9/enable - source /opt/rh/gcc-toolset-9/enable
- mkdir build-gcc - mkdir build-gcc
- cd build-gcc - cd build-gcc
- cmake3 -DRUN_PIPELINE=on -DSCALAR_BUILD=on .. - cmake3 -DSCALAR_BUILD=on ..
- make -j2 - make -j2
- make test - make test
- cd .. - cd ..