Closed jimpick closed 5 years ago
Jenkins is no more. RIP.
Migration instructions are here:
https://github.com/protocol/infra/issues/434
This affects #287, #207, #152, #167...
PR #294 moves the deploy to CircleCI.
Jenkins is no more. RIP.
Migration instructions are here:
https://github.com/protocol/infra/issues/434
This affects #287, #207, #152, #167...