commit | 187df7d7a9a1d9cd67cb2f72d4d6ed8cae1eed61 | [log] [tgz] |
---|---|---|
author | Ebrahim Byagowi <ebrahim@gnu.org> | Wed Oct 10 17:12:52 2018 +0330 |
committer | GitHub <noreply@github.com> | Wed Oct 10 17:12:52 2018 +0330 |
tree | 0b9209c490c2e212d754c1303b7b083f532238a8 | |
parent | 0537a40193e803d50a99cd6b993d6d9301e84ebf [diff] |
[circleci] Add an iOS bot (#1233)