Bump prettyprinter upper bound, migrate to github actions

[jhrcek]

My ultimate goal is to eventually switch PI to GHC 8.10.3 which is available in recently released lts-17.0

This will require some version bumping in some of our dependencies.

This PR fixes build failures of elm-street with lts-17.0 and at the same time migrates its CI from travis (no longer works - see below - infinitely waiting for response for travis) to github actions. Unfortunately this won't show any CI results until the ci config is merged. You can check in my repo that it's working fine: https://github.com/jhrcek/elm-street/pull/1/checks

[turboMaCk]

@jhrcek this will require github repo admin to change settings which is currently configured for requiring travis-ci check which is removed as part of this PR.

[jhrcek]

this will require github repo admin to change settings which is currently configured for requiring travis-ci check which is removed as part of this PR.

I think @arbus could help us with this. Also it would be nice if he could disable merge commits and allow squashing of PR commits in the settings of this repo so we can have cleaner history like in PI.

[arbus]

@jhrcek Done!

[turboMaCk]

@jhrcek can you try to git commit --allow-empty "empty" and push the commit so we can see if ci is running?

[jhrcek]

Tried it but it doesn't seem to have done anything, no CI is showing up in the requirements.

[arbus]

Do I need to do anything to enable github actions?

[jhrcek]

According to this "By default, GitHub Actions is enabled on all repositories and organizations." so I supposed we just need to merge it to get the ci config available on master?

[jhrcek]

@turboMaCk your review doesn't seem to count as you probably don't have write access. We'll need @arbus to approve / merge this.

[turboMaCk]

your review doesn't seem to count

[arbus]

Write access has been granted

[turboMaCk]

@arbus I think you should probably approve PRs in here yourself anyway since you have much better understanding of impact across projects.

Anyway from my side this looks good and we should not spent more time on this particular issue.

[Aman-Malhotra]

your review doesn't seem to count

😆 😆 😆 😆

[jhrcek]

@turboMaCk now that you have write access, but I don't can you merge, please? :laughing:

[arbus]

You both should...

[turboMaCk]

[jhrcek]

Maybe I have write access, but can't merge my own pr?

[arbus]

Try logging out and loggin in again?

[jhrcek]

Tried, no change.

[Aman-Malhotra]

just letting know that now I can merge too 😅

[jhrcek]

Now I can!

[arbus]

Good ol' turn it off and on again