diff --git a/.github/workflows/ci-ubuntu.yml b/.github/workflows/ci-ubuntu.yml
index a623879445..b928bd538b 100644
--- a/.github/workflows/ci-ubuntu.yml
+++ b/.github/workflows/ci-ubuntu.yml
@@ -76,7 +76,7 @@ jobs:
           if [[ '${{ github.ref }}' == 'refs/heads/experimental' \
              || '${{ github.base_ref }}' == 'experimental' ]]; then
             # Pick Agda version for experimental
-            echo "AGDA_COMMIT=tags/v2.8.0" >> "${GITHUB_ENV}";
+            echo "AGDA_COMMIT=f3697415ac835c4e0898fb7eb0a5a46e313c2065" >> "${GITHUB_ENV}";
             echo "AGDA_HTML_DIR=html/experimental" >> "${GITHUB_ENV}"
           else
             # Pick Agda version for master
diff --git a/src/Data/Record.agda b/src/Data/Record.agda
index 709ce69a67..8a9c6d5f39 100644
--- a/src/Data/Record.agda
+++ b/src/Data/Record.agda
@@ -62,6 +62,8 @@ mutual
   -- Record is a record type to ensure that the signature can be
   -- inferred from a value of type Record Sig.
 
+  {-# ETA_EQUALITY #-}  -- Suppress warning UnguardedEtaRecord
+
   record Record {s} (Sig : Signature s) : Set s where
     eta-equality
     inductive
diff --git a/src/Reflection/AST/Traversal.agda b/src/Reflection/AST/Traversal.agda
index 2598b75c1a..913bc5b8f7 100644
--- a/src/Reflection/AST/Traversal.agda
+++ b/src/Reflection/AST/Traversal.agda
@@ -27,7 +27,7 @@ open RawApplicative AppF
 -- compute the length of the context everytime it's needed.
 record Cxt : Set where
   constructor _,_
-  pattern
+  no-eta-equality; pattern
   field
     len     : ℕ
     context : List (String × Arg Term)