Closed mmhat closed 1 year ago
How come the GHA jobs aren't running for this PR? I guess this is the reason why #2452 (and #2454?!) were introduced in the first place.
I guess it's this line?!
@sjakobi: I think it's because the branch lives in a separate repo. The GitHub action probably only runs when people push branches to this repository.
Changing push
to pull_request
would likely fix this issue
@sjakobi The GHA run over there: https://github.com/mmhat/dhall-haskell/actions
In order to fix the Windows builds observed in #2452 we only include the
FromDhall CUid
andFromDhall CGid
instance only if we are on that platform. Those types are not available there which caused the CI failure.Fixes #2452