WIP10: maybe fixing CI isn't that hard
This commit is contained in:
parent
acbdbf4f7f
commit
f72a4e20c5
@ -14,6 +14,7 @@ jobs:
|
||||
cmake . -B${{runner.workspace}}/build \
|
||||
-G"Ninja" \
|
||||
-DCMAKE_BUILD_TYPE=Release \
|
||||
-DSKULLC_WITH_CORO=ON \
|
||||
-DSKULLC_WITH_TESTS=ON
|
||||
|
||||
- name: Build tests + lib
|
||||
@ -34,6 +35,7 @@ jobs:
|
||||
cmake . -B${{runner.workspace}}/build \
|
||||
-G"Ninja" \
|
||||
-DCMAKE_BUILD_TYPE=Release \
|
||||
-DSKULLC_WITH_CORO=ON \
|
||||
-DSKULLC_WITH_DOCS=ON
|
||||
|
||||
- name: Build docs
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user