Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
Janno
iris-coq
Commits
2cc7b4d8
Commit
2cc7b4d8
authored
Mar 24, 2018
by
Ralf Jung
Browse files
update CI: use dedicated buildjob script, submit timing information to coq-speed
parent
5361ad82
Changes
3
Hide whitespace changes
Inline
Side-by-side
.gitlab-ci.yml
View file @
2cc7b4d8
...
...
@@ -5,30 +5,21 @@ stages:
variables
:
CPU_CORES
:
"
10"
GIT_SUBMODULE_STRATEGY
:
recursive
MAIN_BRANCH
:
"
master"
GIT_SUBMODULE_STRATEGY
:
"
recursive"
.template
:
&template
stage
:
build
tags
:
-
fp
script
:
# prepare
-
. ci/prepare-opam $OPAM_PINS
-
env | egrep '^(CI_BUILD_REF|CI_RUNNER)' > build-env.txt
# build
-
'
time
make
-k
-j$CPU_CORES
TIMED=y
2>&1
|
tee
build-log.txt'
-
'
if
fgrep
Axiom
build-log.txt
>/dev/null;
then
exit
1;
fi'
-
'
cat
build-log.txt
|
egrep
"[a-zA-Z0-9_/-]+
\((real|user):
[0-9]"
|
tee
build-time.txt'
# maybe validate
-
'
if
[[
-n
"$VALIDATE"
]];
then
make
validate;
fi'
# maybe create opam package
-
'
if
[[
-n
"$OPAM_PKG"
&&
"$CI_COMMIT_REF_NAME"
==
master
]];
then
curl
--fail
-X
POST
-F
"token=$OPAM_UPDATE_SECRET"
-F
"ref=master"
-F
"variables[REPO]=$CI_PROJECT_URL.git"
-F
"variables[REF]=$CI_COMMIT_REF_NAME"
-F
"variables[SHA]=$CI_COMMIT_SHA"
-F
"variables[NAME]=$OPAM_PKG"
https://gitlab.mpi-sws.org/api/v4/projects/581/trigger/pipeline;
fi'
-
ci/buildjob
cache
:
key
:
"
$CI_JOB_NAME"
paths
:
-
opamroot/
only
:
-
master
-
"
$MAIN_BRANCH"
-
/^ci/
except
:
-
triggers
...
...
@@ -47,12 +38,10 @@ build-coq.8.7.2:
variables
:
OPAM_PINS
:
"
coq
version
8.7.2
coq-mathcomp-ssreflect
version
1.6.4"
OPAM_PKG
:
"
coq-iris"
TIMING_PROJECT
:
"
iris"
TIMING_CONF
:
"
coq-8.7.2"
tags
:
-
fp-timing
artifacts
:
paths
:
-
build-time.txt
-
build-env.txt
build-coq.8.7.1
:
<<
:
*template
...
...
benchmark/export.py
View file @
2cc7b4d8
...
...
@@ -45,6 +45,6 @@ for datapoint in results:
print
(
"Sending {}..."
.
format
(
commit
),
end
=
''
)
date
=
subprocess
.
check_output
([
'git'
,
'show'
,
commit
,
'-s'
,
'--pretty=%cI'
]).
strip
().
decode
(
'UTF-8'
)
headers
=
{
'X-Project'
:
args
.
project
,
'X-Branch'
:
args
.
branch
,
'X-Commit'
:
commit
,
'X-Config'
:
args
.
config
,
'X-Date'
:
date
}
r
=
requests
.
post
(
args
.
server
+
"/build_times
_8.6
"
,
data
=
times
,
headers
=
headers
,
auth
=
(
args
.
user
,
args
.
password
))
r
=
requests
.
post
(
args
.
server
+
"/build_times"
,
data
=
times
,
headers
=
headers
,
auth
=
(
args
.
user
,
args
.
password
))
print
(
" {}"
.
format
(
r
.
text
.
strip
()))
r
.
raise_for_status
()
ci
@
60286c6b
Compare
799685e2
...
60286c6b
Subproject commit
799685e2c96af0e3c0a39e4584633affe55df051
Subproject commit
60286c6bb8a9f9ec21f0097530ccd39c9fc44930
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment