diff options
| author | Richard van der Hoff <1389908+richvdh@users.noreply.github.com> | 2021-07-21 12:33:35 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-07-21 12:33:35 +0100 |
| commit | c6509991f362cb559efbb97e1799776cd32a43d8 (patch) | |
| tree | 6221bf9ec126f9184c39c7578eb3bb54f133ad16 /mypy.ini | |
| parent | 1.39.0rc1 (diff) | |
| download | synapse-c6509991f362cb559efbb97e1799776cd32a43d8.tar.xz | |
Move the docker image build to Github Actions (#10416)
it's flaky on circleCI, and having to manage multiple CI providers is painful.
Diffstat (limited to 'mypy.ini')
0 files changed, 0 insertions, 0 deletions