doc: Mention continuous integration.

* HACKING: Mention continuous integration.

diff --git a/HACKING b/HACKING
index 16591ca56844086afe1f0869578a02af1c09ff1c..f953b68a4a494dc682406f1c7a3150e768722492 100644 (file)
--- a/HACKING
+++ b/HACKING
@@ -208,6 +208,15 @@ Each time you want to update the source, do not only "git pull".  Instead do
   ./autogen.sh
 
 
+Continuous integration
+======================
+
+The package is built automatically, at regular intervals.  You find the latest
+build results here:
+  https://gitlab.com/gnu-gettext/ci-distcheck/pipelines
+  https://gitlab.com/gnu-gettext/ci-distcheck/-/jobs?scope=finished
+
+
 Submitting patches
 ==================