Preliminary continuous integration support for Codeberg

[Ludovic Courtès]

Hello there!

You might remember that the starting point of the whole Guix-Science
migration was an aspiration for CI: being able to build stuff from pull
requests before they’re merged¹.

Romain has now implemented Forgejo support in Cuirass² (Forgejo is the
software behind Codeberg) and we deployed it³ earlier today at
https://guix.bordeaux.inria.fr — we like to live on the bleeding edge.

The good news is that guix.bordeaux.inria.fr has already had its first
jobsets created from pull requests! 🥳  In the Codeberg web interface,
all we had to do was to configure webhooks in the project settings
(those of guix-science/guix-science{,-nonfree}).

Currently there’s no feedback from Cuirass to Forgejo; doing that would
be the next step.  For gitlab.inria.fr, Romain came up with a crude but
helpful bot⁴ that polls Cuirass and posts messages to the relevant pull
requests; to do that, it’s disguised as a GitLab-CI pipeline⁵ whose
success indicates that the pull request can be merged.  A bit of a Rube
Goldberg machine, yet probably a good source of inspiration for the next
step.

Thoughts, ideas, and feedback welcome!

Ludo’.

¹ https://lists.gnu.org/archive/html/guix-science/2024-09/msg00000.html
² https://issues.guix.gnu.org/74769
³ 
https://gitlab.inria.fr/guix-hpc/sysadmin/-/commit/49a9179c6487b40e0eb2b02f5eedcf789c9427a1
⁴ https://gitlab.inria.fr/guix-hpc/ci-tools
⁵ 
https://gitlab.inria.fr/guix-hpc/guix-hpc/-/blob/master/.gitlab-ci.yml?ref_type=heads