aboutsummaryrefslogtreecommitdiff
path: root/.github
Commit message (Expand)AuthorAgeFilesLines
* Merge remote-tracking branch 'upstream/ghc-9.2' into ghc-headBen Gamari2022-04-251-4/+3
|\
| * fix CI for 9.2 (#1436)Artem Pelenitsyn2021-11-271-2/+2
| * Update GHC 9.2 to latest pre-release in CIHécate Moonlight2021-10-071-1/+1
| * Use GHC 9.2 in CI runner (#1378)Hécate Moonlight2021-05-281-6/+5
* | CI configuration for ghc-head (#1395)Ben Simms2021-05-281-6/+10
|/
* Move CI to ghc-9.0Hécate Moonlight2021-02-051-13/+17
* Move to GitHub CI (#1266)Alexander Biehl2020-12-081-0/+49