Paul-Nicolas Madelaine

This is the first pull request to regenerate hints and dist automatically created from the new CI. The build is done with `make ci`: is it expeceted behaviour then that ...

About `dist/test`, it seems the build in the CI wasn't configured properly: `make all` was used instead of `make ci`.

In my flakes I started using the following `default.nix` to avoid this issue: ``` ( import ( let lock = builtins.fromJSON (builtins.readFile ./flake.lock); in fetchTarball { url = "https://github.com/edolstra/flake-compat/archive/${lock.nodes.flake-compat.locked.rev}.tar.gz"; sha256...

@gaelreyrol hi, I only just noticed this PR, thank you for the interest :slightly_smiling_face: I would like to note that I prefer the project to be referenced simply as "Typhon",...

@terlar GitHub somehow decided to disable my custom domain… this should be fixed now!

Sorry, I missed the notifications about the Nix questions! > ugh... the directory is a mix of hand-written files and autogenerated files, do I really need to manually list all...

@msprotz it seems like the source filter can be written a little bit more compactly, see https://github.com/hacl-star/hacl-star/tree/pnmadelaine/afromher_rs

Thanks for the report! It seems to me like FStar expects `KRML_HOME` to point to the build directory of Karamel instead of the install directory. I apologize that I did...

I ran into the same issue with `leptos_actix`. Although I was not stress testing nor spamming refresh, I am running an instance of my webapp on a VPS with little...

I ran into the same issue. I applied the patch you suggested to the compiler and the query is clearly truncated after a few thousands characters. The problem doesn't seem...