diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2022-04-28 16:19:04 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2022-04-28 16:19:04 -0400 |
| commit | 2627a86cb2dd3256c93adf0df8a7d3366a303b02 (patch) | |
| tree | bc87633ed85be301227f3f3c5a88f7cd96b52201 /.github/workflows | |
| parent | b29a78ef6926101338f62e84f456dac8659dc9d2 (diff) | |
Revert "Bump ghc-head (#1445)"
This reverts commit b29a78ef6926101338f62e84f456dac8659dc9d2.
This should not have been merged.
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions