ci: Fix ccache version for PR workflows

diff --git a/cmake/CcacheVersion.cmake b/cmake/CcacheVersion.cmake
index f9541e426e361ef459ab7e4d9ae02e91a38a93a0..111d5c66005f07f0ffe09ea26ea6b8149a1da4bf 100644 (file)
--- a/cmake/CcacheVersion.cmake
+++ b/cmake/CcacheVersion.cmake
@@ -43,7 +43,11 @@ elseif(DEFINED ENV{GITHUB_REF})
     set(CCACHE_VERSION "${CMAKE_MATCH_1}")
   else()
     string(SUBSTRING "$ENV{GITHUB_SHA}" 0 8 hash)
-    set(CCACHE_VERSION "$ENV{GITHUB_REF_NAME}.${hash}")
+    if("$ENV{GITHUB_REF}" MATCHES "^refs/pull/(.+)/merge$")
+      set(CCACHE_VERSION "pr.${CMAKE_MATCH_1}.${hash}")
+    else()
+      set(CCACHE_VERSION "$ENV{GITHUB_REF_NAME}.${hash}")
+    endif()
   endif()
 elseif(EXISTS "${CMAKE_SOURCE_DIR}/.git")
   # Scenario 4.