diff options
| author | Hécate Moonlight <Kleidukos@users.noreply.github.com> | 2021-05-28 12:27:35 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-05-28 12:27:35 +0200 |
| commit | da79aea71b9cc7ee6e56792b4716be0ff11a09fb (patch) | |
| tree | 70a7f707b739cf78ec7fe1441a4babdeb8d41879 /latex-test/ref/TypeFamilies3 | |
| parent | c72814072d8f61ba7c8af201c779edb022c5a1a3 (diff) | |
Use GHC 9.2 in CI runner (#1378)
Diffstat (limited to 'latex-test/ref/TypeFamilies3')
0 files changed, 0 insertions, 0 deletions