Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
I
iris-atomic
Project overview
Project overview
Details
Activity
Releases
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Issues
3
Issues
3
List
Boards
Labels
Service Desk
Milestones
Merge Requests
0
Merge Requests
0
CI / CD
CI / CD
Pipelines
Jobs
Schedules
Operations
Operations
Incidents
Environments
Analytics
Analytics
CI / CD
Repository
Value Stream
Wiki
Wiki
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Create a new issue
Jobs
Commits
Issue Boards
Open sidebar
FP
iris-atomic
Commits
1763e08e
Commit
1763e08e
authored
Oct 18, 2017
by
Ralf Jung
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
CI: prepare for trigger-based building against Iris master
parent
c3ea8d22
Pipeline
#4730
failed with stage
in 9 minutes and 14 seconds
Changes
2
Pipelines
2
Hide whitespace changes
Inline
Side-by-side
Showing
2 changed files
with
17 additions
and
7 deletions
+17
-7
.gitlab-ci.yml
.gitlab-ci.yml
+15
-6
build/opam-ci.sh
build/opam-ci.sh
+2
-1
No files found.
.gitlab-ci.yml
View file @
1763e08e
...
...
@@ -8,7 +8,7 @@ variables:
-
fp-timing
script
:
# prepare
-
. build/opam-ci.sh
coq "$COQ_VERSION" coq-mathcomp-ssreflect "$SSR_VERSION"
-
. build/opam-ci.sh
$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'
...
...
@@ -16,7 +16,7 @@ variables:
-
'
cat
build-log.txt
|
egrep
"[a-zA-Z0-9_/-]+
\((real|user):
[0-9]"
|
tee
build-time.txt'
-
'
if
test
-n
"$VALIDATE"
&&
((
RANDOM
%
10
==
0
));
then
make
validate;
fi'
cache
:
key
:
"
coq.$COQ_VERSION-ssr.$SSR_VERSION
"
key
:
"
$CI_JOB_NAME
"
paths
:
-
opamroot/
only
:
...
...
@@ -26,16 +26,25 @@ variables:
build-coq8.7
:
<<
:
*template
variables
:
COQ_VERSION
:
"
8.7.dev"
SSR_VERSION
:
"
dev"
OPAM_PINS
:
"
coq
version
8.7.dev
coq-mathcomp-ssreflect
version
dev"
except
:
-
triggers
build-coq8.6.1
:
<<
:
*template
variables
:
COQ_VERSION
:
"
8.6.1"
SSR_VERSION
:
"
1.6.1"
OPAM_PINS
:
"
coq
version
8.6.1
coq-mathcomp-ssreflect
version
1.6.1"
VALIDATE
:
"
1"
artifacts
:
paths
:
-
build-time.txt
-
build-env.txt
except
:
-
triggers
build-iris.dev
:
<<
:
*template
variables
:
OPAM_PINS
:
"
coq
version
8.6.1
coq-mathcomp-ssreflect
version
1.6.1
coq-iris
git
https://gitlab.mpi-sws.org/FP/iris-coq.git#master"
only
:
-
triggers
build/opam-ci.sh
View file @
1763e08e
...
...
@@ -47,6 +47,7 @@ echo
echo
while
((
"$#"
))
;
do
# while there are arguments left
PACKAGE
=
"
$1
"
;
shift
KIND
=
"
$1
"
;
shift
VERSION
=
"
$1
"
;
shift
# Check if the pin is already set
...
...
@@ -54,7 +55,7 @@ while (( "$#" )); do # while there are arguments left
echo
"[opam-ci]
$PACKAGE
already pinned to
$VERSION
"
else
echo
"[opam-ci] Pinning
$PACKAGE
to
$VERSION
"
run_and_print opam pin add
-y
-k
version
"
$PACKAGE
"
"
$VERSION
"
run_and_print opam pin add
-y
-k
"
$KIND
"
"
$PACKAGE
"
"
$VERSION
"
fi
done
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a 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