Skip to content
This repository was archived by the owner on Sep 17, 2024. It is now read-only.

Dev tip #9

Merged
logicalmechanism merged 9 commits into from
Jul 26, 2022

Updating ghc to 8.10.7, preparing for tagged release

801bb7a
Select commit
Loading
Failed to load commit list.
Merged

Dev tip #9

Updating ghc to 8.10.7, preparing for tagged release
801bb7a
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs