List view

• DevEnv migration

  Let's migrate to DevEnv for local development and continuous integration. TODO: - [ ] Use devenv with flakes - [ ] Ensure the library can be compiled and tests run without failures - [ ] Ensure linting and pre-commit works - [ ] Modify CI files to set up the project with devenv

  No due date
  0% complete0 open0 closed