diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 78000ee0daa608bc2090904e29424a66b00900b9..9f1d5cc508fe890b7611347be466b4bfb69400f4 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -38,6 +38,16 @@ build-coq.8.8.dev:
     OPAM_PINS: "coq version 8.8.dev"
     VALIDATE: "1"
 
+build-coq.8.8+beta1:
+  <<: *template
+  variables:
+    OPAM_PINS: "coq version 8.8+beta1"
+    VALIDATE: "1"
+    TIMING_PROJECT: "iris"
+    TIMING_CONF: "coq-8.8+beta1"
+  tags:
+  - fp-timing
+
 build-coq.8.7.2:
   <<: *template
   variables: