Gitea actions #2

Merged
erki merged 16 commits from feature/gitea_actions into master 2023-05-15 20:55:22 +00:00
Showing only changes of commit 6166054d3f - Show all commits

View File

@ -16,10 +16,11 @@ jobs:
- name: Configure build
working-directory: ${{runner.workspace}}
run: |
cmake -Bbuild -H$GITHUB_WORKSPACE \
cmake -B${{runner.workspace}}/build -H$GITHUB_WORKSPACE \
-G"Ninja" \
-DCMAKE_BUILD_TYPE=Release \
-DWITH_TESTS=ON
ls ${{runner.workspace}}
- name: Build tests + lib
working-directory: ${{runner.workspace}}/build