From 088ba9f064c53a8526ee95099592ef52e85bcaaf Mon Sep 17 00:00:00 2001
From: Bruno Haible <bruno@clisp.org>
Date: Sun, 5 Jan 2025 08:28:16 -0800
Subject: [PATCH] doc: reference continuous integration URLs

* README-hacking (Continuous integration): New section:
list the gitlab and github CI links.
---
 README-hacking | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/README-hacking b/README-hacking
index 9e1db52..65cb321 100644
--- a/README-hacking
+++ b/README-hacking
@@ -105,6 +105,18 @@ each program.  One way to do this is to use vc-dwim
   Run the command "git format-patch --stdout -1", and email its output
   in, using the output's subject line.
 
+* Continuous integration
+
+There are two continuous integrations that regularly build and test
+diffutils:
+- On a Linux/glibc system only:
+  https://gitlab.com/gnu-diffutils/ci-distcheck/pipelines
+  https://gitlab.com/gnu-diffutils/ci-distcheck/-/jobs?scope=finished
+  This one will catch only the most blatant mistakes.
+- On many platforms:
+  https://github.com/gnu-diffutils/ci-check/actions
+  This one catches platform-specific bugs.
+
 -----
 
 Copyright (C) 2002-2025 Free Software Foundation, Inc.