Skip to content

Commit

Permalink
Fix merge from main
Browse files Browse the repository at this point in the history
  • Loading branch information
grabin-dev committed Jul 25, 2023
1 parent fbd3bdd commit e2c4746
Showing 1 changed file with 2 additions and 4 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -49,6 +49,8 @@ public async Task<Plan> CreatePlanAsync(string goal, CancellationToken cancellat

var plan = await this._planner.CreatePlanAsync(goal, cancellationToken).ConfigureAwait(false);

stopwatch.Stop();

s_executionTimeHistogram.Record(stopwatch.ElapsedMilliseconds);

s_executionSuccessCounter.Add(1);
Expand All @@ -73,11 +75,7 @@ public async Task<Plan> CreatePlanAsync(string goal, CancellationToken cancellat
}
finally
{
stopwatch.Stop();

this._logger.LogInformation("{PlannerType}: Plan creation finished in {ExecutionTime}ms.", PlannerType, stopwatch.ElapsedMilliseconds);

throw;
}
}

Expand Down

0 comments on commit e2c4746

Please sign in to comment.