More fixes

Author: tobiasdiez

.github/workflows/ci.yml

@@ -44,7 +44,7 @@ jobs:
         run: |
           # Install dnf5
           if [ "${{ matrix.container }}" = "fedora:40" ] && ! rpm -q dnf5 >/dev/null; then
-              rpm-ostree install dnf5 dnf5-plugins
+              dnf install dnf5 -y
           fi
 
           SYSTEM=$(build/bin/sage-guess-package-system)

src/sage/rings/polynomial/pbori/meson.build

@@ -1,6 +1,6 @@
 brial = cc.find_library('brial', required: false, disabler: true)
 # Cannot be found via pkg-config
-brial_groebner = cc.find_library('brial_groebner')
+brial_groebner = cc.find_library('brial_groebner', required: false, disabler: true)
 
 py.install_sources(
   'PyPolyBoRi.py',