CI #9

Merged
quentin merged 2 commits from albatros into main 2023-05-15 16:51:23 +00:00
Owner
  • fix clippy errors
  • add a CI script
- [X] fix clippy errors - [X] add a CI script
quentin added 1 commit 2023-05-15 16:24:33 +00:00
quentin added 1 commit 2023-05-15 16:32:11 +00:00
quentin merged commit 24fed41288 into main 2023-05-15 16:51:23 +00:00
quentin deleted branch albatros 2023-05-15 16:51:23 +00:00
Sign in to join this conversation.
No description provided.