File tree Expand file tree Collapse file tree 3 files changed +5
-1
lines changed
Expand file tree Collapse file tree 3 files changed +5
-1
lines changed Original file line number Diff line number Diff line change @@ -74,6 +74,8 @@ install:
7474
7575- set /p commit=<symengine_version.txt
7676- cd symengine-cpp
77+ - git config --add remote.origin.fetch "+refs/pull/*/head:refs/remotes/origin/pr/*"
78+ - git fetch
7779- git checkout %commit%
7880- mkdir build
7981- cd build
Original file line number Diff line number Diff line change @@ -4,6 +4,8 @@ export MAKEFLAGS="-j2"
44
55git clone https://github.com/symengine/symengine symengine-cpp
66cd symengine-cpp
7+ git config --add remote.origin.fetch ' +refs/pull/*/head:refs/remotes/origin/pr/*'
8+ git fetch
79export SOURCE_DIR=` pwd`
810git checkout ` cat ../symengine_version.txt`
911cd ..
Original file line number Diff line number Diff line change 1- 8a3bc848cd8246a4c15eee9bddc15de0d1157812
1+ b9b11156a76470f0e6998476b2550573efdb5aae
You can’t perform that action at this time.
0 commit comments