rastrillo / abono Public

Report CI to GitHub

If this repo is mirrored to GitHub, amadan can post each branch's CI result there as a commit status. A branch protection rule on GitHub can then require that check before merging, without a GitHub Actions job waiting for amadan's answer.