mirror of
https://github.com/boostorg/boost.git
synced 2025-04-06 14:05:01 +00:00
circleci: change branch of release-tools
This commit is contained in:
parent
f320946ad1
commit
92bbb4d5e1
1 changed files with 2 additions and 2 deletions
|
@ -6,8 +6,8 @@ jobs:
|
|||
parallelism: 2
|
||||
steps:
|
||||
- checkout
|
||||
- run: wget "https://raw.githubusercontent.com/boostorg/release-tools/python3/ci_boost_common.py" -P ${HOME}
|
||||
- run: wget "https://raw.githubusercontent.com/boostorg/release-tools/python3/ci_boost_release.py" -P ${HOME}
|
||||
- run: wget "https://raw.githubusercontent.com/boostorg/release-tools/develop/ci_boost_common.py" -P ${HOME}
|
||||
- run: wget "https://raw.githubusercontent.com/boostorg/release-tools/develop/ci_boost_release.py" -P ${HOME}
|
||||
- run: python3 ${HOME}/ci_boost_release.py checkout_post
|
||||
# - run: python3 ${HOME}/ci_boost_release.py dependencies_override
|
||||
- run: '[ "$CIRCLE_NODE_INDEX" != "0" ] || EOL=LF python3 ${HOME}/ci_boost_release.py test_override'
|
||||
|
|
Loading…
Add table
Reference in a new issue