This GitHub repository is intended to provide a small example configuration for both GitHub Actions and GitLab CI, and to demonstrate the kind of feedback we can get in the context of GitHub's Pull Requests.
Note that the GitLab CI workflow specifically relies on:
- a GitLab CI mirror, created using the feature GitLab CI/CD for external repositories,
- as well as @coqbot, installed as a GitHub app.