Skip to content
GitLab
Explore
Sign in
Register
Open
3
Merged
7
Closed
50
All
60
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Updated date
ci: bump ci-images for wasi-sdk upgrade
!11527
· created
Oct 30, 2023
by
Cheng Shao
CI
backport needed:9.6
full-ci
wasm
Merged
7
updated
Feb 22, 2024
Backport Darwin CI refactor to %9.0.2
!6712
· created
Oct 09, 2021
by
Ben Gamari
9.0.2
ghc-9.0
CI
backport
Merged
9
updated
Dec 17, 2021
Make the CI jobs interruptible
!5086
· created
Feb 22, 2021
by
Hécate Kleidukos
CI
Merged
7
2
Approved
updated
Apr 07, 2021
gitlab-ci: Ignore performance improvements in marge jobs
!5309
· created
Mar 19, 2021
by
Ben Gamari
CI
perf tests
Merged
1
Approved
updated
Mar 22, 2021
Ignore performance test failures on Darwin
!5113
· created
Feb 24, 2021
by
Ben Gamari
CI
Merged
Approved
updated
Feb 24, 2021
Remove the dependency on the ghc-linters stage
!4257
· created
Oct 10, 2020
by
Hécate Kleidukos
CI
CI breakage
Merged
8
Approved
updated
Oct 11, 2020
gitlab-ci: Disable use of ld.lld on ARMv7
!3411
· created
Jun 01, 2020
by
Ben Gamari
9.0.1
ARM
CI
Merged
Approved
updated
Jun 01, 2020
