Initial CircleCI integration #511
Loading…
x
Reference in New Issue
Block a user
No description provided.
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
eed27588d6/Dockerfile (L10)
Ok.
Created by: lucafavatella
Review: Approved
Merged by: dincho at 2019-01-29 13:35:41 UTC