Skip to content

[Chore] Remove redundant constraints

Diogo Castro requested to merge diogo/chore-fix-redundant-constraints into master

Description

The "upload-docker-latest" step in the master pipeline is failing due to redundant constraints: https://gitlab.com/morley-framework/morley/-/jobs/2670600128

Apparently, for some reason, GHC seems to have a more strict behavior in this step than in, for example, build-all, so this issue wasn't caught sooner.

This PR removes those redundant constraints.

Related issue(s)

Resolves None

Checklist for your Merge Request

Related changes (conditional)

  • Tests (see short guidelines)

    • If I added new functionality, I added tests covering it.
    • If I fixed a bug, I added a regression test to prevent the bug from silently reappearing again.
  • Documentation

    • I checked whether I should update the docs and did so if necessary:
    • I updated changelog files of all affected packages released to Hackage if my changes are externally visible.

Stylistic guide (mandatory)

Merge request reports