diff options
author | Lars Wirzenius <liw@liw.fi> | 2023-04-26 09:00:00 +0300 |
---|---|---|
committer | Lars Wirzenius <liw@liw.fi> | 2023-04-26 09:00:00 +0300 |
commit | 4d8d2cfe5610a292e0df450ae2b2b4a7351ea87a (patch) | |
tree | 4f907d5e1db66865f38e68e33be6e85982b8b27a /ci-prod.ick | |
parent | 019fd2f9ba8ec09cf7f08015fd114dd5e6d808c2 (diff) | |
download | liw-ci-4d8d2cfe5610a292e0df450ae2b2b4a7351ea87a.tar.gz |
don't build deb if not a Debian package
Sponsored-by: author
Diffstat (limited to 'ci-prod.ick')
-rw-r--r-- | ci-prod.ick | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/ci-prod.ick b/ci-prod.ick index 62e3d7d..c852e17 100644 --- a/ci-prod.ick +++ b/ci-prod.ick @@ -1232,6 +1232,11 @@ pipelines: actions: - where: container shell: | + if ! [ -e debian ] + then + echo this is not a Debian package + exit 0 + fi echo build_deb_ci_with_rustup_rust export PATH="/workspace/.cargo/bin:$PATH" |