Initial CircleCI integration #511

Merged
zxq9 merged 5 commits from 163053596_add_circleci_integration into master 2019-01-29 22:35:41 +09:00
zxq9 commented 2019-01-29 20:20:24 +09:00 (Migrated from gitlab.com)

Created by: dincho

Blocked by https://github.com/aeternity/docker-builder/pull/12

PT: https://www.pivotaltracker.com/story/show/163053596

*Created by: dincho* Blocked by https://github.com/aeternity/docker-builder/pull/12 - [x] merge https://github.com/aeternity/docker-builder/pull/12 - [x] wait the new docker image to be uploaded - [x] restart this PR workflow - [x] squash & merge this PR PT: https://www.pivotaltracker.com/story/show/163053596
zxq9 commented 2019-01-29 20:42:35 +09:00 (Migrated from gitlab.com)

Created by: valerifilipov

Review: Approved

*Created by: valerifilipov* **Review:** Approved
zxq9 commented 2019-01-29 20:47:58 +09:00 (Migrated from gitlab.com)

Created by: lucafavatella

eed27588d6/Dockerfile (L10)
Ok.

*Created by: lucafavatella* https://github.com/aeternity/docker-builder/blob/eed27588d6983863647200d2435e5d8b4de14a02/Dockerfile#L10 Ok.
zxq9 commented 2019-01-29 20:48:03 +09:00 (Migrated from gitlab.com)

Created by: lucafavatella

Review: Approved

*Created by: lucafavatella* **Review:** Approved
zxq9 commented 2019-01-29 22:35:41 +09:00 (Migrated from gitlab.com)

Merged by: dincho at 2019-01-29 13:35:41 UTC

*Merged by: dincho at 2019-01-29 13:35:41 UTC*
Sign in to join this conversation.
No description provided.