Release v2.5.2

Summary:

• Migrated the CI setup from Travis-CI to Github Actions (#187)

Note: no actual code changes. Feel free to ignore this release!