Configure CI #2

Merged
pierre merged 4 commits from ci into master 2024-04-05 18:58:33 +00:00
9 changed files with 3097 additions and 3534 deletions
Showing only changes of commit aea9aef3d1 - Show all commits

File diff suppressed because it is too large Load Diff