diff options
| author | Jason Gross | 2020-08-25 13:27:51 -0400 |
|---|---|---|
| committer | Jason Gross | 2020-09-03 14:14:28 -0400 |
| commit | f9c37872f559e018f9782b183e4959a0ead03912 (patch) | |
| tree | a452d4839b3d30b47331f7e29f11f177adeb5bc3 /dev | |
| parent | b3bf44f21581fc72f4087e42a192f15242a545e9 (diff) | |
[bench] Also upload the raw timing files, etc
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 |