Mirror of the public version of the Software Foundations textbooks

CircleCI

Mainly for CI.