25 Jul
2024
25 Jul
'24
11:49 a.m.
This is an automated email from the git hooks/post-receive script.
maxim.kuvyrkov pushed a change to reference refs/replace/eda1235772e41375bc8bac0f184d04895dce4ea5 in repository toolchain/jenkins-scripts.
at 18d24fdf6 round-robin.sh (build_abe): Do not disable make_docs in maint [...]
No new revisions were added by this update.
--
To stop receiving notification emails like this one, please contact
the administrator of this repository.