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
C
coq-stdpp
Project overview
Project overview
Details
Activity
Releases
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Issues
0
Issues
0
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
Snippets
Snippets
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Create a new issue
Jobs
Commits
Issue Boards
Open sidebar
David Swasey
coq-stdpp
Commits
65e40a46
Commit
65e40a46
authored
Feb 15, 2018
by
Ralf Jung
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
update CI
parent
4e87d4e7
Changes
2
Hide whitespace changes
Inline
Side-by-side
Showing
2 changed files
with
4 additions
and
1 deletion
+4
-1
.gitlab-ci.yml
.gitlab-ci.yml
+3
-1
build/opam-ci.sh
build/opam-ci.sh
+1
-0
No files found.
.gitlab-ci.yml
View file @
65e40a46
...
...
@@ -4,7 +4,7 @@ stages:
-
build
variables
:
CPU_CORES
:
"
9
"
CPU_CORES
:
"
10
"
.template
:
&template
stage
:
build
...
...
@@ -18,6 +18,8 @@ variables:
-
'
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 generate and upload doc (has to be in this job as we need coq installed)
-
'
if
[[
-n
"$DOCDIR"
&&
"$CI_COMMIT_REF_NAME"
==
master
]];
then
build/coqdoc;
fi'
# maybe create opam package
...
...
build/opam-ci.sh
View file @
65e40a46
...
...
@@ -63,5 +63,6 @@ echo "[opam-ci] Installing build-dependencies"
make build-dep
OPAMFLAGS
=
-y
# done
set
+x
echo
coqc
-v
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