travis-ci.org is deprecated

OpenLogicProject / OpenLogic

An open-source, customizable intermediate logic textbook

http://openlogicproject.org/

Creative Commons Attribution 4.0 International

1.04k stars 237 forks source link

travis-ci.org is deprecated #285

Closed Pi-Cla closed 2 years ago

Pi-Cla commented 2 years ago

What should be done about travis-ci? If someone clicks on the build badge in the readme it shows that the service has not functioned since 8 months ago as it has migrated to https://www.travis-ci.com/.

rzach commented 2 years ago

Switched to Github actions

rzach commented 2 years ago

This was fixed in https://github.com/OpenLogicProject/OpenLogic/commit/439b01dbabcda388895770deb542817b3a7eebd0