diff --git a/README.mdwn b/README.mdwn index 074133d..81dc91d 100644 --- a/README.mdwn +++ b/README.mdwn @@ -11,3 +11,7 @@ To build/update, try running: The ultimate sources for the FAQ are the contents of FAQ.docbook5.xml.tt2 . Please edit that file. + +Note that we use a GitHub Actions and Docker-based Continuous-Integration set-up to +reproduce and test the code. Refer to the files under ".github/workflows" for more +insights.