Update tags with armv8

StanFromIreland · web-flow · commit 7e451563dadc · 2025-04-30T20:27:35.000+01:00
diff --git a/master/custom/workers.py b/master/custom/workers.py
@@ -185,7 +185,7 @@ def get_workers(settings):
         ),
         cpw(
             name="stan-raspbian",
-            tags=['linux', 'unix', 'raspbian', 'debian', 'armv6', 'armv7l',
+            tags=['linux', 'unix', 'raspbian', 'debian', 'armv8',
                   'aarch64', 'arm'],
         ),
         cpw(
