chore(ci): Regenerate the keyset cache

.github/workflows/continuous-integration.yml

@@ -165,7 +165,7 @@ jobs:
         if: ${{ github.ref == 'refs/heads/main' }}
         uses: actions/upload-artifact@v3
         with:
-          name: KeySetCacheV2
+          name: KeySetCacheV3
           path: KeySetCache
           retention-days: 90
 
@@ -173,7 +173,7 @@ jobs:
         uses: Remagpie/gha-remove-artifact@v1
         if: ${{ github.ref == 'refs/heads/main' }}
         with:
-          only-name: KeySetCacheV2
+          only-name: KeySetCacheV3
           max-count: 1
 
       - name: Build the documentation

compiler/Makefile

@@ -16,7 +16,7 @@ CONCRETE_OPTIMIZER_DIR ?= $(shell pwd)/concrete-optimizer
 
 KEYSETCACHEDEV=/tmp/KeySetCache
 KEYSETCACHECI ?= ../KeySetCache
-KEYSETCACHENAME ?= KeySetCacheV2
+KEYSETCACHENAME ?= KeySetCacheV3
 
 HPX_VERSION?=1.7.1
 HPX_URL=https://github.com/STEllAR-GROUP/hpx/archive/refs/tags/$(HPX_VERSION).tar.gz