From bdad8ab2c9b9f22bed881334df214aa24da54061 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Mon, 8 Nov 2021 10:40:52 -0500
Subject: [PATCH] GPFSL supports timing now
---
iris-bot | 1 +
1 file changed, 1 insertion(+)
diff --git a/iris-bot b/iris-bot
index b166d9094..da76fcd6a 100755
--- a/iris-bot
+++ b/iris-bot
@@ -26,6 +26,7 @@ PROJECTS = {
'lambda-rust': { 'name': 'lambda-rust', 'branch': 'master', 'timing': True },
'lambda-rust-weak': { 'name': 'lambda-rust', 'branch': 'masters/weak_mem' }, # covers GPFSL and ORC11
'examples': { 'name': 'examples', 'branch': 'master', 'timing': True },
+ 'gpfsl': { 'name': 'gpfsl', 'branch': 'master', 'timing': True }, # need separate entry for timing
'iron': { 'name': 'iron', 'branch': 'master', 'timing': True },
'reloc': { 'name': 'reloc', 'branch': 'master' },
'spygame': { 'name': 'spygame', 'branch': 'master' },
--
GitLab