organicmaps/boost
13
Fork 0
mirror of https://github.com/boostorg/boost.git synced 2025-04-16 18:24:43 +00:00
Code Issues 1 Projects Releases Wiki Activity Actions

Merge pull request #678 from sdarwin/feature/circle-update3

Browse source 
circleci: change branch of release-tools
This commit is contained in:
Marshall Clow 2023-01-19 07:06:27 -08:00 • committed by GitHub
commit 2a6231b673
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
.circleci/config.yml
View file

@ -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'