diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2019-11-21 08:33:36 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2019-11-21 08:33:36 +0200 |
commit | e759d567ae88fb02571e48ce70896bdb1adf0790 (patch) | |
tree | 76d7541795cebf66e29973894b08c9bb1a09fb7b /doc | |
parent | f07e14f7cc43baf76fd6916a85be5bf2b42c531a (diff) |
Open 0.13.0 development
Diffstat (limited to 'doc')
-rw-r--r-- | doc/release.cli | 2 |
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 |