about summary refs log tree commit diff homepage
diff options
context:
space:
mode:
authorLukáš Zaoral <lzaoral@redhat.com>2022-01-22 21:27:42 +0100
committerCristian Cadar <c.cadar@imperial.ac.uk>2022-03-09 20:45:11 +0100
commit034fd4486e753a3802e85e86c8baaac5b57c6ef6 (patch)
tree6951a95e5d4ccfdd1a9aabaf3bed4a082480acb5
parent01742c1b0250ec1cb98725557bfedc058f841937 (diff)
downloadklee-034fd4486e753a3802e85e86c8baaac5b57c6ef6.tar.gz
CI: Update GTest to 1.11.0
-rw-r--r--.github/workflows/build.yaml2
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml
index ae4a6576..64b77f38 100644
--- a/.github/workflows/build.yaml
+++ b/.github/workflows/build.yaml
@@ -15,7 +15,7 @@ env:
   ENABLE_DOXYGEN: 0
   ENABLE_OPTIMIZED: 1
   ENABLE_DEBUG: 1
-  GTEST_VERSION: 1.7.0
+  GTEST_VERSION: 1.11.0
   KLEE_RUNTIME_BUILD: "Debug+Asserts"
   LLVM_VERSION: 9
   METASMT_VERSION: qf_abv