objectionary / normalizer

Command Line Normalizer of 𝜑-calculus Expressions
https://www.objectionary.com/normalizer/
MIT License
7 stars 2 forks source link

Fix CI #347

Closed deemp closed 3 months ago

deemp commented 3 months ago
deemp commented 3 months ago

A Windows runner is weird when it comes to Setup.hs (link):

Additionally, on the Windows runner, it's necessary to chcp.com 65001 before running stack build --test that outputs Unicode characters.

See this comment about code pages.