Etienne Marais

Results 18 issues of Etienne Marais

Currently, the pretty-printer displays an ASCII version of the aggregated summaries. The idea is to provide a generic representation, `Document.t` and, then give a printer to a specific file format:...

type/feature
type/refactor
area/bench

To ensure users can create a switch without error, couldn't we add `x.opam.locked` files into the repository? Thanks to this, users could simply build a switch with: ```sh $ opam...

type/feature

The MacOS sandbox seems to prevent opening a connection on `localhost`. On the CI MacOS worker, the `localhost:port` binding raised: ``` Unix.Unix_error(Unix.EPERM, "bind", "") ``` @kit-ty-kate executed a command to...

KIND: FEATURE WISH
AREA: PORTABILITY
STATE: NEED INVESTIGATION

## Background Following the consideration of adding metrics to the different systems relying on OCurrent, it would be great to add some metrics to follow the energy consumption of the...

enhancement

This PR addresses #376. The goal is to allow users to use their handler with webhook as the default one is tight to CI behaviours.

In the current state of the `webhook` function, the user cannot influence the way `Current_github` has to deal with the events it receives from *GitHub*. We should provide a way...

enhancement

## Background While working on a library that uses `pgx` as a client to interact with `Postgresql`, I have some issues building it with `ocaml >= 4.14`. Indeed, as described...

This version introduces a minimal version to deploy tarides.com. The secret will be mounted later once we are sure it can deploy the website. The idea is to use `docker...

enhancement

Sometimes, when running the analysis step, it wouldn't rebuild, get stuck and would always show the same error message. To solve that locally, the solution is to clean the local...

type/bug
type/enhancement

Hi, This PR is an attempt to make the _toolchain_ logs less verbose. As the packages are evaluated as common rules, they printed a lot of lots. To overcome such...

package management