projects
/
ieee754fpu.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
change to correct branch
[ieee754fpu.git]
/
.gitlab-ci.yml
diff --git
a/.gitlab-ci.yml
b/.gitlab-ci.yml
index 0a51562256d57d0a3799fe80fd5324aacac4d77f..561c7bb1ea538bc2625bcdb05cd5ab5b73a14495 100644
(file)
--- a/
.gitlab-ci.yml
+++ b/
.gitlab-ci.yml
@@
-111,7
+111,7
@@
build:
- make install
- popd
- - git clone --depth 1
-b smtlib2-expr-support
https://gitlab.com/nmigen/nmigen.git nmigen
+ - git clone --depth 1 https://gitlab.com/nmigen/nmigen.git nmigen
- pushd nmigen
- git rev-parse HEAD
- python3 setup.py develop