search

tweag / cooked-validators

MIT License
39 stars 11 forks source link

Align tooling used by pre-commit hooks/CI and `nix develop` #337

Closed Niols closed 1 year ago

Niols commented 1 year ago

This pull request ensures that the tools used by our pre-commit hooks and the CI are the exact same than the ones available in the nix develop .#default environment. This reduces the size of our derivations by factoring in some things (our SSDs should be happy) and this removes some discrepancies between environments, therefore closing #335.

Because of the aforementioned discrepancies, this pull request also re-formats all the files. The changes are minor but non negligible.

gabrielhdt commented 1 year ago

Since it reformats everything, we may want to use a .git-blame-ignore-revs with commit 550c27cff4e96e8726bfe2a256971d9024625726 in it (see git-blame(1))

Niols commented 1 year ago

What's with the stupid PR name...

Niols commented 1 year ago

I'd just suggest using a .git-blame-ignore-revs

Done in 114d328.