diff options
author | David Robertson <davidr@element.io> | 2022-09-05 12:13:13 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-09-05 11:13:13 +0000 |
commit | 8cb9261598becb3ed790b4268ff713f5e1122a21 (patch) | |
tree | 02beb70fe859cd5fbc7782a866c70dbc47b82d3a /.github/workflows | |
parent | Share some metrics between the Prometheus exporter and the phone home stats (... (diff) | |
download | synapse-8cb9261598becb3ed790b4268ff713f5e1122a21.tar.xz |
Fix typechecking with latest `types-jsonschema` (#13712)
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions