mirror of
https://github.com/jlengrand/engine.git
synced 2026-03-10 15:49:32 +00:00
feat: add more time to DOCR image push and logs
This commit is contained in:
committed by
Pierre Mavro
parent
c236312308
commit
786bf252de
@@ -129,7 +129,7 @@ impl DOCR {
|
||||
image.registry_secret = Some(registry_name);
|
||||
image.registry_url = Some(dest);
|
||||
|
||||
let result = retry::retry(Fixed::from_millis(5000).take(12), || {
|
||||
let result = retry::retry(Fixed::from_millis(10000).take(12), || {
|
||||
match self.does_image_exists(&image) {
|
||||
true => OperationResult::Ok(&image),
|
||||
false => {
|
||||
@@ -142,7 +142,7 @@ impl DOCR {
|
||||
let image_not_reachable = Err(self.engine_error(
|
||||
EngineErrorCause::Internal,
|
||||
format!(
|
||||
"image has been pushed on Digital Ocean Registry but is not yet available, please try to redeploy in a few minutes.",
|
||||
"image has been pushed on Digital Ocean Registry but is not yet available after 2min. Please try to redeploy in a few minutes",
|
||||
),
|
||||
));
|
||||
match result {
|
||||
|
||||
@@ -57,6 +57,9 @@ pub fn docker_tag_and_push_image(
|
||||
image_with_tag, registry_provider, e
|
||||
)),
|
||||
)),
|
||||
_ => Ok(()),
|
||||
_ => {
|
||||
info!("image {} has successfully been pushed", image_with_tag);
|
||||
Ok(())
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user