From f9eeec7101da55263b644164d1f096af232eb995 Mon Sep 17 00:00:00 2001
From: Jason Gross
Date: Tue, 25 Aug 2020 14:56:32 -0400
Subject: [bench] Only upload some files

We will now also record a listing of all files that we could have
uploaded, in case we want to know what's available to upload in the
future.
---
 dev/bench/gitlab-bench.yml | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

(limited to 'dev/bench/gitlab-bench.yml')

diff --git a/dev/bench/gitlab-bench.yml b/dev/bench/gitlab-bench.yml
index 63e137ac2a..4275e3d121 100644
--- a/dev/bench/gitlab-bench.yml
+++ b/dev/bench/gitlab-bench.yml
@@ -28,7 +28,10 @@ bench:
     paths:
       - _bench/html/**/*.v.html
       - _bench/logs
-      - _bench/opam.NEW
-      - _bench/opam.OLD
+      - _bench/files.listing
+      - _bench/opam.NEW/**/*.log
+      - _bench/opam.NEW/**/*.timing
+      - _bench/opam.OLD/**/*.log
+      - _bench/opam.OLD/**/*.timing
     when: always
     expire_in: 1 year
-- 
cgit v1.2.3