summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--doc/release.cli2
-rwxr-xr-xversion8
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
diff --git a/version b/version
index e9b5633..ada16a5 100755
--- a/version
+++ b/version
@@ -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