Bump clash-cores

For new `gig_ethernet_pcs_pma` without version restriction

Author: lmbollen

.github/systemd/vivado-hw-server.service

@@ -5,7 +5,7 @@ Before=actions.runner.bittide-bittide-hardware.hoeve-1.service
 
 [Service]
 Type=simple
-ExecStart=/bin/bash -c "source /opt/tools/Xilinx/VivadoEnterprise/Vivado/2022.1/settings64.sh && hw_server"
+ExecStart=/bin/bash -c "source /opt/tools/Xilinx/VivadoEnterprise/Vivado/2025.2/settings64.sh && hw_server"
 Restart=always
 User=graaf
 # XXX: We actually want to run the hw_server as another user. However, it seems

cabal.project

@@ -53,7 +53,7 @@ source-repository-package
 source-repository-package
   type: git
   location: https://github.com/clash-lang/clash-cores.git
-  tag: 59118b1369ebdb3df424931c500e1a92567fdaac
+  tag: 8290f373bb45997ed18c968cd59f4595deb516b6
 
 source-repository-package
   type: git
@@ -84,6 +84,8 @@ source-repository-package
 allow-newer:
   clash-protocols:tasty,
   clash-vexriscv:base,
+--  clash-cores:doctests-parallel,
+--  doctest-parallel:Cabal,
 
 -- These should be removed after bumping clash
 -----------------------------------------------