github: want version2 of catch
This commit is contained in:
parent
f58d743b22
commit
ce2fc80bfd
1 changed files with 1 additions and 1 deletions
2
.github/workflows/main-stock-ubuntu.yml
vendored
2
.github/workflows/main-stock-ubuntu.yml
vendored
|
|
@ -34,7 +34,7 @@ jobs:
|
|||
echo "::group::clone catch2"
|
||||
git clone https://github.com/catchorg/Catch2.git
|
||||
cd Catch2
|
||||
git checkout v3.4.0
|
||||
git checkout v2.13.8
|
||||
echo "::group::catch2 configure"
|
||||
mkdir .build
|
||||
cmake -B .build -S .
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue