From 126531ec28a7ff79c868e7bdb91b2a1e56868f75 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Thu, 12 Nov 2020 22:29:06 +0100
Subject: [PATCH] update timing docs
---
CONTRIBUTING.md | 1 -
1 file changed, 1 deletion(-)
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index 39e074c32..43ffe2770 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -89,7 +89,6 @@ build-iris.dev:
<<: *template
variables:
OPAM_PINS: "coq version 8.9.0 coq-iris.dev git git+https://gitlab.mpi-sws.org/iris/iris.git#yourname/feature"
- TIMING_CONF: "coq-8.9.0"
tags:
- fp-timing
```
--
GitLab