blob: 4275e3d121a92a635fdad824125460ae59031552 (
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
26
27
28
29
30
31
32
33
34
35
36
37
|
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: ""
coq_pr_number: ""
coq_pr_comment_id: ""
new_ocaml_switch: "ocaml-base-compiler.4.07.1"
old_ocaml_switch: "ocaml-base-compiler.4.07.1"
new_coq_repository: "https://gitlab.com/coq/coq.git"
old_coq_repository: "https://gitlab.com/coq/coq.git"
new_coq_opam_archive_git_uri: "https://github.com/coq/opam-coq-archive.git"
old_coq_opam_archive_git_uri: "https://github.com/coq/opam-coq-archive.git"
new_coq_opam_archive_git_branch: "master"
old_coq_opam_archive_git_branch: "master"
num_of_iterations: 1
coq_opam_packages: "coq-performance-tests-lite coq-engine-bench-lite coq-hott coq-bignums coq-mathcomp-ssreflect coq-mathcomp-fingroup coq-mathcomp-algebra coq-mathcomp-solvable coq-mathcomp-field coq-mathcomp-character coq-mathcomp-odd-order coq-math-classes coq-corn coq-flocq coq-compcert coq-geocoq coq-color coq-coqprime coq-coqutil coq-bedrock2 coq-rewriter coq-fiat-core coq-fiat-parsers coq-fiat-crypto coq-unimath coq-sf-plf coq-coquelicot coq-lambda-rust coq-verdi coq-verdi-raft coq-fourcolor coq-rewriter-perf-SuperFast"
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
|
