| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | CI: remove CircleCI for now | Paul Spooren | 2024-04-26 |
| * | CircleCI: Add 21.02 GPG and usign public keys and update to Debian 10 | Josef Schlehofer | 2022-02-15 |
| * | CircleCI: Do not run build as root. Move to public docker repo. | Ted Hess | 2018-12-05 |
| * | build: add CircleCI | Etienne Champetier | 2018-10-23 |