From a1dbbc53d91b11150795cc67560c34584d781da9 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Wed, 3 Feb 2021 12:41:59 +0100
Subject: CI: Switch coqhammer job to edge ocaml

This fixes CI from their using the Stdlib module.
---
 .gitlab-ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 754c09776e..4f58dc5aac 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -828,7 +828,7 @@ plugin:ci-coq_dpdgraph:
   extends: .ci-template
 
 plugin:ci-coqhammer:
-  extends: .ci-template
+  extends: .ci-template-flambda
 
 plugin:ci-elpi:
   extends: .ci-template
-- 
cgit v1.2.3