| commit | ed25a344a421532f7ca27c045381e88309ebe532 | [log] [tgz] |
|---|---|---|
| author | Tom Pollard <tom.pollard@codethink.co.uk> | Thu Sep 26 15:04:07 2019 +0100 |
| committer | Tom Pollard <tom.pollard@codethink.co.uk> | Mon Dec 02 11:38:34 2019 +0000 |
| tree | b2d426250b0f7b5c7c7a986c68a2ad774c808ccf | |
| parent | 05aaf3eadff2981fe3c16e6c3a808c37f0ca1187 [diff] |
element.py: Explicitly ensure failed build sources are not pushed