Get Travis (or other service) building dimensional again

bjornbm / dimensional

Dimensional library variant built on Data Kinds, Closed Type Families, TypeNats (GHC 7.8+).

BSD 3-Clause "New" or "Revised" License

102 stars 15 forks source link

Get Travis (or other service) building dimensional again #217

Closed bjornbm closed 2 years ago

bjornbm commented 2 years ago

Travis has stopped building dimensional:

Since June 15th, 2021, the building on travis-ci.org is ceased. Please use travis-ci.com from now on.

See https://docs.travis-ci.com/user/migrate/open-source-repository-migration (and maybe https://docs.travis-ci.com/user/tutorial/). Hopefully migrating will be straight-forward.

bjornbm commented 2 years ago

OK, so I had to jump through some hoops and create an account on travis-ci.com. Free plan. Unclear how long it will be working… seems I will have eventually to request open source credits or some other bullshit. Annoying. Would be happy to move elsewhere.

konsumlamm commented 2 years ago

In my experience GitHub Actions work quite well, I could put together a PR for switching to that if you like.

bjornbm commented 2 years ago

Sounds great to me if you have the time @konsumlamm!