blob: 25545cf565283d177c05b9c3f7c84b984e0f6aac (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
bench:
stage: stage-1
when: manual
before_script:
- printenv -0 | sort -z | tr '\0' '\n'
script:
- . ~/.opam/opam-init/init.sh
- ./dev/bench/gitlab.sh
tags:
- timing
variables:
GIT_DEPTH: ""
artifacts:
name: "$CI_JOB_NAME"
paths:
- _bench/html/**/*.v.html
- _bench/logs
- _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
|
