summaryrefslogtreecommitdiff
path: root/doc/release.cli
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2019-11-21 08:33:36 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2019-11-21 08:33:36 +0200
commite759d567ae88fb02571e48ce70896bdb1adf0790 (patch)
tree76d7541795cebf66e29973894b08c9bb1a09fb7b /doc/release.cli
parentf07e14f7cc43baf76fd6916a85be5bf2b42c531a (diff)
Open 0.13.0 development
Diffstat (limited to 'doc/release.cli')
-rw-r--r--doc/release.cli2
1 files changed, 2 insertions, 0 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