Add link from "build from source" sections to GitHub CI.

PiperOrigin-RevId: 499737486
Change-Id: If9c5fa730166bfc73b828c87cf4ba4ddb9ace28c

doc/programming/index.rst

@@ -120,6 +120,9 @@ Additionally, the CMake setup also implements an installation phase which will c
 target directory. Specify the directory using ``cmake $PATH_TO_CLONED_REPO -DCMAKE_INSTALL_PREFIX=<my_install_dir>``.
 After successfully building MuJoCo following the instructions above, you can install it using ``cmake --install .``.
 
+As a reference, a working build configuration can be found in MuJoCo's
+[continuous integration setup](https://github.com/deepmind/mujoco/blob/main/.github/workflows/build.yml) on GitHub.
+
 .. _inHeader:
 
 Header files

doc/python.rst

@@ -102,6 +102,9 @@ The Python bindings should now be installed! To check that they've been
 successfully installed, ``cd`` outside of the ``mujoco`` directory and run
 ``python -c "import mujoco"``.
 
+As a reference, a working build configuration can be found in MuJoCo's
+[continuous integration setup](https://github.com/deepmind/mujoco/blob/main/.github/workflows/build.yml) on GitHub.
+
 .. _PyViewer:
 
 Interactive viewer