Initial CircleCI integration #511
Reference in New Issue
Block a user
Delete Branch "163053596_add_circleci_integration"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Created by: dincho
Blocked by https://github.com/aeternity/docker-builder/pull/12
PT: https://www.pivotaltracker.com/story/show/163053596
Created by: valerifilipov
Review: Approved
Created by: lucafavatella
https://github.com/aeternity/docker-builder/blob/eed27588d6983863647200d2435e5d8b4de14a02/Dockerfile#L10
Ok.
Created by: lucafavatella
Review: Approved
Merged by: dincho at 2019-01-29 13:35:41 UTC