diff options
author | David Robertson <davidr@element.io> | 2022-03-02 18:00:26 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-03-02 18:00:26 +0000 |
commit | 1fbe0316a991e77289d4577b16ff3fcd27c26dc8 (patch) | |
tree | 9b63f5af32d0f217bd161690ab4b2bb45795398e /changelog.d/12137.misc | |
parent | Remove unused mocks from `test_typing` (#12136) (diff) | |
download | synapse-1fbe0316a991e77289d4577b16ff3fcd27c26dc8.tar.xz |
Add suffices to scripts in scripts-dev (#12137)
* Rename scripts-dev to have suffices * Update references to `scripts-dev` * Changelog * These scripts don't pass mypy
Diffstat (limited to 'changelog.d/12137.misc')
-rw-r--r-- | changelog.d/12137.misc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/changelog.d/12137.misc b/changelog.d/12137.misc new file mode 100644 index 0000000000..118ff77a91 --- /dev/null +++ b/changelog.d/12137.misc @@ -0,0 +1 @@ +Give `scripts-dev` scripts suffixes for neater CI config. \ No newline at end of file |