diff options
-rw-r--r-- | doc/release.cli | 2 | ||||
-rwxr-xr-x | version | 8 |
2 files changed, 6 insertions, 4 deletions
diff --git a/doc/release.cli b/doc/release.cli index 3f716da..a83ff35 100644 --- a/doc/release.cli +++ b/doc/release.cli @@ -635,6 +635,8 @@ distribution from \c{etc/stage} and add the pre-distributed packages Reboot \c{public} build hosts. They should next bootstrap and proceed with building all packages. + Once all the machines have bootstrapped, submit a test CI task. + \h#install-public|Test install scripts| Test \l{https://download.build2.org/ \c{public} install scripts}. Here @@ -13,12 +13,12 @@ usage="usage: etc/version" build2_min=0.12.0 bpkg_min=0.12.0 -#ver=0.13.0-a.0.z -ver=0.12.0 +ver=0.13.0-a.0.z +#ver=0.13.0 mods=(libstd-modules libbutl libbutl.bash libbpkg libbbot bpkg) -#odb_ver=2.5.0-b.18.z -odb_ver=2.5.0-b.17 +odb_ver=2.5.0-b.18.z +#odb_ver=2.5.0-b.17 odb_mods=(libodb libodb-sqlite libodb-pgsql) #xml_ver=1.1.0-b.8.z |