Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
concordium
smart-contract-interactions
Commits
fa0e4e34
Commit
fa0e4e34
authored
Feb 28, 2019
by
Jakob Botsch Nielsen
Browse files
Build dev and rename branches
parent
af80ac7c
Pipeline
#10902
passed with stage
in 4 minutes and 27 seconds
Changes
1
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
.gitlab-ci.yml
View file @
fa0e4e34
...
...
@@ -12,7 +12,7 @@ stages:
-
opam config list
-
opam repo list
-
opam list
-
git clone --branch $COQ_CONTAINERS_BRANCH https://github.com/
StekiKun
/containers.git dep-coq-containers
-
git clone --branch $COQ_CONTAINERS_BRANCH https://github.com/
jakobbotsch
/containers.git dep-coq-containers
-
cd dep-coq-containers
-
make -j
-
make -f Makefile.coq install
...
...
@@ -35,9 +35,9 @@ coq:8.8:
coq:8.9:
extends
:
.build
variables
:
COQ_CONTAINERS_BRANCH
:
'
v
arious-fixes
'
COQ_CONTAINERS_BRANCH
:
'
v
8.9
'
##
coq:dev:
##
extends: .build
##
variables:
##
COQ_CONTAINERS_BRANCH: 'v
arious-fixes
'
coq:dev:
extends
:
.build
variables
:
COQ_CONTAINERS_BRANCH
:
'
v
dev
'
Write
Preview
Supports
Markdown
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