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
26
27
28
29
30
|
bench:
stage: build-0
needs: []
when: manual
before_script:
- printenv -0 | sort -z | tr '\0' '\n'
script: dev/bench/bench.sh
tags:
- timing
variables:
GIT_DEPTH: ""
artifacts:
name: "$CI_JOB_NAME"
paths:
- _bench/html/**/*.v.html
- _bench/logs
- _bench/timings/*
- _bench/files.listing
- _bench/opam.NEW/**/*.log
- _bench/opam.NEW/**/*.timing
- _bench/opam.NEW/**/*.prof.json.gz
- _bench/opam.OLD/**/*.log
- _bench/opam.OLD/**/*.timing
- _bench/opam.OLD/**/*.prof.json.gz
when: always
expire_in: 1 year
environment: bench
interruptible: false
timeout: 1d
|
