From dfa1568d2c0a64d50aaeebc33fec8988f63bb37e Mon Sep 17 00:00:00 2001 From: Fabien Boucher Date: Feb 17 2022 13:53:35 +0000 Subject: Disable armv7hl for rawhide https://pagure.io/fedora-ci/general/issue/322 --- diff --git a/FZCI.dhall/Arches.dhall b/FZCI.dhall/Arches.dhall index c221280..babbef8 100644 --- a/FZCI.dhall/Arches.dhall +++ b/FZCI.dhall/Arches.dhall @@ -32,4 +32,5 @@ in { Type = Union } arch , isX86_64 = λ(arch : Union) → merge (eq_def ⫽ { X86_64 = True }) arch + , isARMV7HL = λ(arch : Union) → merge (eq_def ⫽ { ARMV7HL = True }) arch } diff --git a/FZCI.dhall/Branches.dhall b/FZCI.dhall/Branches.dhall index 06c4bd8..0344dc2 100644 --- a/FZCI.dhall/Branches.dhall +++ b/FZCI.dhall/Branches.dhall @@ -51,7 +51,13 @@ in { Type = Union , arches = λ(branch : Union) → merge - { Rawhide = Arches.fedora + { Rawhide = + Prelude.List.filter + Arches.Type + ( λ(arch : Arches.Type) → + Prelude.Bool.not (Arches.isARMV7HL arch) + ) + Arches.fedora , F34 = Arches.fedora , F35 = Arches.fedora , F36 = Arches.fedora