mirror of
https://github.com/boostorg/boost.git
synced 2025-04-08 06:43:09 +00:00
CircleCI: Download all build scripts to be able to select which one to
run based on the parallel node we are running on.
This commit is contained in:
parent
69470483a1
commit
3068ab669b
1 changed files with 2 additions and 0 deletions
|
@ -9,7 +9,9 @@ machine:
|
|||
SCRIPT: ci_boost_release
|
||||
pre:
|
||||
- wget "https://raw.githubusercontent.com/boostorg/release-tools/develop/ci_boost_common.py" -P ${HOME}
|
||||
- wget "https://raw.githubusercontent.com/boostorg/release-tools/develop/ci_boost_library_check.py" -P ${HOME}
|
||||
- wget "https://raw.githubusercontent.com/boostorg/release-tools/develop/ci_boost_release.py" -P ${HOME}
|
||||
- wget "https://raw.githubusercontent.com/boostorg/release-tools/develop/ci_boost_status.py" -P ${HOME}
|
||||
post:
|
||||
- python "${HOME}/${SCRIPT}.py" machine_post
|
||||
checkout:
|
||||
|
|
Loading…
Add table
Reference in a new issue