diff --git a/build-constraints.yaml b/build-constraints.yaml
index 55e6b401..c49d990b 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -7181,6 +7181,7 @@ skipped-tests:
 
     # Due to cycles, which are actually just limitations in Stack right now.
     - HUnit
+    - Agda
     - aeson
     - attoparsec
     - base-orphans # via hspec
@@ -7898,6 +7899,7 @@ expected-benchmark-failures:
 # Otherwise place them in expected-benchmark-failures.
 skipped-benchmarks:
     # Cyclic dependencies
+    - Agda
     - aeson
     - attoparsec
     - case-insensitive