diff --git a/.github/actions/add-package/action.yml b/.github/actions/add-package/action.yml
index a25665f9990..16e0355d3c3 100644
--- a/.github/actions/add-package/action.yml
+++ b/.github/actions/add-package/action.yml
@@ -96,7 +96,7 @@ runs:
         for cnt,asset in enumerate(assets):
           delete = False
           # We generate 10 artifacts per build:
-          # {Linux, Linux-arm64, macOS, macOS-arm64, Windows} * {static, shared}
+          # {Linux-x86_64, Linux-arm64, macOS-x86_64, macOS-arm64, Win64-x86_64} * {static, shared}
           if cnt >= 20: # Keep at most 2 builds
             delete = True
           if asset.name.startswith(samedayprefix):
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 7190936a7af..dc77997309f 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -19,7 +19,7 @@ jobs:
             python-bindings: true
             build-documentation: true
             check-examples: true
-            package-name: cvc5-Linux
+            package-name: cvc5-Linux-x86_64
             exclude_regress: 3-4
             run_regression_args: --tester base --tester model --tester synth --tester abduct --tester dump
 
@@ -37,7 +37,7 @@ jobs:
             strip-bin: strip
             python-bindings: true
             check-examples: true
-            package-name: cvc5-macOS
+            package-name: cvc5-macOS-x86_64
             macos-target: 10.13
             exclude_regress: 3-4
             run_regression_args: --tester base --tester model --tester synth --tester abduct --tester dump
@@ -69,7 +69,7 @@ jobs:
             windows-build: true
             shell: 'msys2 {0}'
             check-examples: true
-            package-name: cvc5-Win64
+            package-name: cvc5-Win64-x86_64
             exclude_regress: 1-4
             run_regression_args: --tester base --tester model --tester synth --tester abduct --tester dump