Skip to content

Migrate CI from GitLab to GitHub #3398

Closed
@hasufell

Description

@hasufell

Motivation

  1. one CI system to deal with instead of two
  2. better stability (IME)
  3. more access to shared code and actions of GitHub (larger ecosystem)

Execution

A prototype was done at GHCup: https://github.com/haskell/ghcup-hs/compare/2abcb46199f06f09cb746322af7e88314be1f182%5E..823458910b41cf79739257dbc3d08084400bb594

This includes intelligent caching via cabal-cache with S3 BlackBlaze.

Self-hosted runners for Linux AARCH64 and Darwin AARCH64 will be provided by @angerman ...can you briefly comment here what you need to hook them up with HLS repo?

Metadata

Metadata

Assignees

Labels

CIContinuous integrationtype: enhancementNew feature or request

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions