PR#144: Remove support for f32 branch - fedora-project-config

Fabien Boucher • 2 years ago

dc4143a

FZCI.dhall/Branches.dhall

file modified

+5 -19

		`@@ -4,23 +4,17 @@`

		let --\| When changing that union, update the `all` attribute too
		`Union =`
		`- < Rawhide \| F32 \| F33 \| F34 \| Epel8 >`
		`+ < Rawhide \| F33 \| F34 \| Epel8 >`

		`- let eq_def =`
		`- { Rawhide = False, F32 = False, F33 = False, F34 = False, Epel8 = False }`
		`+ let eq_def = { Rawhide = False, F33 = False, F34 = False, Epel8 = False }`

		`let show =`
		`λ(branch : Union) →`
		`merge`
		`- { Rawhide = "rawhide"`
		`- , F32 = "f32"`
		`- , F33 = "f33"`
		`- , F34 = "f34"`
		`- , Epel8 = "epel8"`
		`- }`
		`+ { Rawhide = "rawhide", F33 = "f33", F34 = "f34", Epel8 = "epel8" }`
		`branch`

		`- let all = [ Union.Rawhide, Union.F34, Union.F33, Union.F32, Union.Epel8 ]`
		`+ let all = [ Union.Rawhide, Union.F34, Union.F33, Union.Epel8 ]`

		`let isRawhide = λ(branch : Union) → merge (eq_def ⫽ { Rawhide = True }) branch`

		`@@ -41,18 +35,12 @@`
		`, target =`
		`λ(branch : Union) →`
		`merge`
		`- { Rawhide = "rawhide"`
		`- , F32 = "f32"`
		`- , F33 = "f33"`
		`- , F34 = "f34"`
		`- , Epel8 = "epel8"`
		`- }`
		`+ { Rawhide = "rawhide", F33 = "f33", F34 = "f34", Epel8 = "epel8" }`
		`branch`
		`, arches =`
		`λ(branch : Union) →`
		`merge`
		`{ Rawhide = Arches.fedora`
		`- , F32 = Arches.fedora`
		`, F33 = Arches.fedora`
		`, F34 = Arches.fedora`
		`, Epel8 = Arches.epel8`
		`@@ -63,8 +51,6 @@`
		`merge`
		`{ Rawhide =`
		`"https://kojipkgs.fedoraproject.org/repos/rawhide/latest/x86_64/"`
		`- , F32 =`
		`- "https://kojipkgs.fedoraproject.org/repos/f32-build/latest/x86_64/"`
		`, F33 =`
		`"https://kojipkgs.fedoraproject.org/repos/f33-build/latest/x86_64/"`
		`, F34 =`