diff --git a/.github/workflows/pull-request.yml b/.github/workflows/pull-request.yml
index 3bcb44a01..f8251325e 100644
--- a/.github/workflows/pull-request.yml
+++ b/.github/workflows/pull-request.yml
@@ -4,17 +4,18 @@ on:
   pull_request:
     branches:
       - main
+      - dev
 
 jobs:
   call:
     uses: openfheorg/openfhe-development/.github/workflows/generic_workflow.yml@github-ci
     with:
       runner: ${{ vars.RUNNER }}
-      compiler: "GCC-11"
-      native_backend: "64"
-      mb2_jobs: "all"
-      mb4_jobs: "all"
-      mb6_jobs: "all"
+      compiler: "GCC-14"
+      native_backend: "all"
+      mb2_jobs: "mb2"
+      mb4_jobs: "mb4_tcm"
+      mb6_jobs: "mb6"
       # cmake_args_map holds job specific additional cmake options. compiler flags, native_backend flag and
       # OpenMP flag are set in generic_workflow.yml
       cmake_args_map: '{
@@ -29,4 +30,3 @@ jobs:
                   "mb6_ntl_tcm"       : "-DBUILD_EXTRAS=ON -DMATHBACKEND=6 -DWITH_NTL=ON -DWITH_TCM=ON",
                   "mb6_ntl_debug_tcm" : "-DBUILD_EXTRAS=ON -DMATHBACKEND=6 -DWITH_NTL=ON -DWITH_TCM=ON -DCMAKE_BUILD_TYPE=Debug",
                 }'
-      
diff --git a/CMakeLists.txt b/CMakeLists.txt
index c093774e3..7cc5edc2a 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -27,7 +27,7 @@ project (OpenFHE C CXX)
 
 set(OPENFHE_VERSION_MAJOR 1)
 set(OPENFHE_VERSION_MINOR 4)
-set(OPENFHE_VERSION_PATCH 1)
+set(OPENFHE_VERSION_PATCH 2)
 set(OPENFHE_VERSION ${OPENFHE_VERSION_MAJOR}.${OPENFHE_VERSION_MINOR}.${OPENFHE_VERSION_PATCH})
 
 set(CMAKE_CXX_STANDARD 17)
diff --git a/docs/static_docs/Release_Notes.md b/docs/static_docs/Release_Notes.md
index b9fba5972..a68e916f6 100644
--- a/docs/static_docs/Release_Notes.md
+++ b/docs/static_docs/Release_Notes.md
@@ -1,3 +1,9 @@
+10/20/2025: OpenFHE 1.4.2 (stable) is released
+
+* Fixes a bug introduced by PR #1007 that affected large-depth scenarios for the `HPSPOVERLEVELED` mode of BFV (#1066)
+
+The detailed list of changes is available at https://github.com/openfheorg/openfhe-development/issues?q=is%3Aissue+milestone%3A%22Release+1.4.2%22
+
 10/14/2025: OpenFHE 1.4.1 (stable) is released
 
 * Changes `convert` to `ConvertRLWEToCKKS` and `ConvertCKKSToRLWE` + other small API updates for functional CKKS bootstrapping (#1047)
diff --git a/src/pke/lib/scheme/bfvrns/bfvrns-leveledshe.cpp b/src/pke/lib/scheme/bfvrns/bfvrns-leveledshe.cpp
index d23f31d60..4915647ee 100644
--- a/src/pke/lib/scheme/bfvrns/bfvrns-leveledshe.cpp
+++ b/src/pke/lib/scheme/bfvrns/bfvrns-leveledshe.cpp
@@ -184,7 +184,7 @@ uint32_t FindLevelsToDrop(uint32_t multiplicativeDepth, std::shared_ptr<CryptoPa
     // adding the cushon to the error (see Appendix D of https://eprint.iacr.org/2021/204.pdf for details)
     // adjusted empirical parameter to 16 from 4 for threshold scenarios to work correctly, this might need to
     // be further refined
-    int32_t levels = std::floor((loge - 2 * multiplicativeDepth - 16 - logExtra) / dcrtBits);
+    int32_t levels = std::floor((loge - 3 * multiplicativeDepth - 16 - logExtra) / dcrtBits);
     size_t sizeQ   = cryptoParamsBFVrns->GetElementParams()->GetParams().size();
 
     if (levels < 0)