Closed Niols closed 1 year ago
And now it also contains the fix of #237. We should probably first discuss there if there is any discussion needed, and then merge this one if everybody is happy.
Good thing we didn't merge right away, it turns out the workflow file picked up parts of main
and parts of ch/hedge-v2
, putting it in a weird inefficient state. This is fixed by the last commits.
This pull request cherry-picks #226 into
ch/hedge-v2
, bringing the pre-commit hooks there too. Hopefully it will fix some issues encountered in the past few days.