#178 Disable armv7hl for rawhide
Merged 6 months ago by zuul. Opened 6 months ago by fbo.
fbo/fedora-project-config armv7hl-removal  into  master

file modified
+1
@@ -32,4 +32,5 @@ 

              }

              arch

      , isX86_64 = λ(arch : Union) → merge (eq_def ⫽ { X86_64 = True }) arch

+     , isARMV7HL = λ(arch : Union) → merge (eq_def ⫽ { ARMV7HL = True }) arch

      }

file modified
+7 -1
@@ -51,7 +51,13 @@ 

      , 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

Build succeeded.

Metadata Update from @tdecacqu:
- Pull-request tagged with: gateit

6 months ago

Build succeeded (gate pipeline).

Pull-Request has been merged by zuul

6 months ago