diff options
Diffstat (limited to 'dev/bench/gitlab-bench.yml')
| -rw-r--r-- | dev/bench/gitlab-bench.yml | 7 |
1 files changed, 5 insertions, 2 deletions
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 |