diff options
author | Herbert Valerio Riedel <hvr@gnu.org> | 2018-06-21 22:30:45 +0200 |
---|---|---|
committer | Herbert Valerio Riedel <hvr@gnu.org> | 2018-06-21 22:32:15 +0200 |
commit | f50684f5cd1c3dc316a3b2b76e07e06fb9ae6d55 (patch) | |
tree | 5bbd01152779f6628269ddba7bfcb00f09e5e0f1 /html-test/ref/TypeFamilies2.html | |
parent | 3266a962f7b6083b4b48cb66e70c62e3157df930 (diff) |
Update CI job to use GHC 8.7.*
Diffstat (limited to 'html-test/ref/TypeFamilies2.html')
0 files changed, 0 insertions, 0 deletions