Skip to content

Build stuff

Mathieu Bridon requested to merge build into master

Two trivial commits.

One is yours @yookoala, which I extracted from #105 because I wanted us to merge it, and #105 looks like it's going to take longer than anticipated.

The other one is something we hadn't done when we first set up the CI with Docker, because the Rawhide Docker image was temporarily broken. This has been fixed since then.

Merge request reports