diff options
Diffstat (limited to 'dev')
| -rw-r--r-- | dev/bench/gitlab-bench.yml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/dev/bench/gitlab-bench.yml b/dev/bench/gitlab-bench.yml index a2207081f4..63e137ac2a 100644 --- a/dev/bench/gitlab-bench.yml +++ b/dev/bench/gitlab-bench.yml @@ -28,5 +28,7 @@ bench: paths: - _bench/html/**/*.v.html - _bench/logs + - _bench/opam.NEW + - _bench/opam.OLD when: always expire_in: 1 year |