diff options
author | Richard van der Hoff <1389908+richvdh@users.noreply.github.com> | 2021-07-14 14:41:23 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-07-14 14:41:23 +0100 |
commit | 07e0992a76b33de80616570582c17edd2768150f (patch) | |
tree | c93e93c27847d644f462066de12ddb35b68d741e /docker | |
parent | Add type hints and comments to event auth code. (#10393) (diff) | |
download | synapse-07e0992a76b33de80616570582c17edd2768150f.tar.xz |
Make GHA config more efficient (#10383)
A few things here: * Build the debs for single distro for each PR, so that we can see if it breaks. Do the same for develop. Building all the debs ties up the GHA workers for ages. * Stop building the debs for release branches. Again, it takes ages, and I don't think anyone is actually going to stop and look at them. We'll know they are working when we make an RC. * Change the configs so that if we manually cancel a workflow, it actually does something.
Diffstat (limited to 'docker')
0 files changed, 0 insertions, 0 deletions