docs: Add reference to reference build configs (#1031)

diff --git a/doc/INSTALL.md b/doc/INSTALL.md
index 27e928c23dd365f26c083f3f5ad925aa240b26bc..e028e4d25d0ee357ad0db376e2b7f364d7d92f6b 100644 (file)
--- a/doc/INSTALL.md
+++ b/doc/INSTALL.md
@@ -41,6 +41,11 @@ Optional:
 - [Asciidoctor](https://asciidoctor.org) to build the HTML documentation.
 - [Python](https://www.python.org) to debug and run the performance test suite.
 
+Reference configurations:
+
+- See [CI configurations](../.github/workflows/build.yaml) for a selection of
+  regularly tested build setups, including cross-compiling and explicit
+  dependencies required in Debian/Ubuntu environment.
 
 Installation
 ------------