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 54a4ec029b - Show all commits

View File

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