You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
All 19 Boost libs need to update their CI for that move. Given that it might make sense to put the setup part (apt-install, clone, B2_WRAPPER,...) into a script in boost-ci such that we have a common place to update that too as e.g. with the repo change we'd need to update the CI files in those 19 boost libs, although that won't be hard to do except for having the maintainers merge them
So if we want to move it I suggest a 2-step approach:
Move the setup into a script and update the 19 libs to use that
Move the repo and update the script
This way there won't be any disruption as we can do 2. once the CI changes for all Boost libs have been merged.
The text was updated successfully, but these errors were encountered:
@jeking3 proposed to move https://github.com/jeking3/bdde to boostorg as it is used by ~19 boost libs in CI
See #232 (comment)
All 19 Boost libs need to update their CI for that move. Given that it might make sense to put the setup part (apt-install, clone, B2_WRAPPER,...) into a script in boost-ci such that we have a common place to update that too as e.g. with the repo change we'd need to update the CI files in those 19 boost libs, although that won't be hard to do except for having the maintainers merge them
So if we want to move it I suggest a 2-step approach:
This way there won't be any disruption as we can do 2. once the CI changes for all Boost libs have been merged.
The text was updated successfully, but these errors were encountered: