From ed863f8b2bda3d063f16ed095ecb42cfbdc7a25d Mon Sep 17 00:00:00 2001
From: Hai Dang <hai@bedrocksystems.com>
Date: Mon, 29 May 2023 22:21:38 +0200
Subject: [PATCH] Enable mangled names
---
.gitlab-ci.yml | 1 +
1 file changed, 1 insertion(+)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 286ea584..754a49bd 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -33,6 +33,7 @@ build-coq.8.17.0:
variables:
OPAM_PINS: "coq version 8.17.0"
DENY_WARNINGS: "1"
+ MANGLE_NAMES: "1"
tags:
- fp-timing
--
GitLab