CI: remove duplicate info message
It's already printed in aptly_publish_repo.
This commit is contained in:
parent
e7be93609b
commit
3997a41ff0
|
@ -212,7 +212,6 @@ jobs:
|
||||||
aptly_delete_dir
|
aptly_delete_dir
|
||||||
|
|
||||||
# Final part to make changes appear in web root.
|
# Final part to make changes appear in web root.
|
||||||
echo "[$(date +%H:%M:%S)] Publishing repository changes..."
|
|
||||||
if ! aptly_publish_repo; then
|
if ! aptly_publish_repo; then
|
||||||
exit 1
|
exit 1
|
||||||
fi
|
fi
|
||||||
|
|
Loading…
Reference in New Issue