ci: create new keysetcache

last commit updated which keys we serialize

.github/workflows/continuous-integration.yml

@@ -148,7 +148,7 @@ jobs:
         if: ${{ matrix.compiler == 'gcc7' && github.ref == 'refs/heads/main' }}
         uses: actions/upload-artifact@v3
         with:
-          name: KeySetCacheV1
+          name: KeySetCacheV2
           path: KeySetCache
           retention-days: 90
 
@@ -156,7 +156,7 @@ jobs:
         uses: Remagpie/gha-remove-artifact@v1
         if: ${{ matrix.compiler == 'gcc7' && github.ref == 'refs/heads/main' }}
         with:
-          only-name: KeySetCacheV1
+          only-name: KeySetCacheV2
           max-count: 1
 
       - name: Build compiler

compiler/Makefile

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