diff options
| author | 2xsaiko | 2022-12-29 16:19:59 +0100 |
|---|---|---|
| committer | GitHub | 2022-12-29 19:19:59 +0400 |
| commit | a5619f5660a00f58c2b7c16d89058e92327ac9b8 (patch) | |
| tree | 41b256c1a2184c1020c7c995e00f26724d3f7452 /examples/simple | |
| parent | 351352374c452de0378d6c22baf1745f02ae6c52 (diff) | |
Build every profile first, then push (#158)
Try to build everything first before pushing to remotes. Since the build
is more likely to fail than the upload, if there is an error the deployment
will fail sooner and before uploading any potentially unusable configuration.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions