Add CI #8

Closed
quentin wants to merge 10 commits from main into albatros
Owner
No description provided.
quentin closed this pull request 2023-05-15 16:24:18 +00:00
Some checks reported errors
Albatros default

Pull request closed

Sign in to join this conversation.
No description provided.