Pierre Gimalac

### What does this PR do? Add some missing configs in the config setup, so that they are properly declared (and "known"): - `apm_config.max_catalog_entries` - `dogstatsd_workers_count` ### Motivation All configs...

Remove agent-payload dependency from serverless agent

2

### What does this PR do? Remove a few agent-payload packages from dependencies of serverless agent. ### Motivation Remove unused dependencies from serverless agent, in order to reduce init time...

Remove pkg/util/containers/metrics dependency from serverless build

2

### What does this PR do? Remove `pkg/util/containers/metrics` packages from the serverless build. ### Motivation Remove unused dependencies from serverless agent, in order to reduce init time duration and reduce...

[ASCII-1169] Refresh non-core agents configs using core-agent API

4

### What does this PR do? Implement synchronizing config values in non-core agent using the API of the core agent as source of truth. ### Motivation Enabling API key refresh...

Remove init function and global variable in `pkg/util/retry`

1

### What does this PR do? Remove global variable and init function of the `pkg/util/retry` package. ### Motivation Reduce serverless agent init duration. The package took between 1 and 3.5ms...

Stainless doesn't finish on polymorphic recursive data types

4

Hello, As discussed, on the following code using polymorphic recursive data type stainless never finishes (nor prints errors or anything). https://github.com/jacobprudhomme/finger-tree/tree/stainless-bug Thanks.

Hello, I have two types `Node` (representing a ternary tree) and `Digit` (a tuple of 4 `Node`). ```scala sealed trait Node[T] final case class Leaf[T](a: T) extends Node[T] final case...

Hello, When I run stainless using `--solvers=princess` on the code at https://github.com/jacobprudhomme/finger-tree/blob/stainless-slow/src/main/scala/fingertree/FingerTree.scala (which is relatively short), then it stackoverflows. Here is the stacktrace [stainless-stack-trace.txt](https://github.com/epfl-lara/stainless/files/10251587/stainless-stack-trace.txt) It shouldn't be an installation /...

### What does this PR do? Avoid scrubbing entirely the API and APP keys (we want to keep the last characters so that they are identifiable). ### Motivation When some...

Add missing go mod in modules list

1

### What does this PR do? Add some missing Go mod in the modules list. ### Motivation Avoid weird states or errors due to missing modules with automations. ### Additional...