use flakes #1

Merged
benoitlouy merged 7 commits from flake into main 2022-01-04 19:43:28 +00:00
benoitlouy commented 2022-01-04 19:43:18 +00:00 (Migrated from github.com)
No description provided.
Sign in to join this conversation.
No description provided.