setup GitHub CI #1

Closed
opened 2019-10-24 21:10:12 +00:00 by pradykaushik · 2 comments
pradykaushik commented 2019-10-24 21:10:12 +00:00 (Migrated from github.com)
No description provided.
pradykaushik commented 2019-10-25 01:29:14 +00:00 (Migrated from github.com)

Decided to use GitHub actions instead.
pull request #6 under review.

Decided to use GitHub actions instead. pull request #6 under review.
pradykaushik commented 2019-10-25 04:04:11 +00:00 (Migrated from github.com)

merged!

merged!
This repository is archived. You cannot comment on issues.
No description provided.