2 Commits

Author SHA1 Message Date
Quentin Gliech
6421d9d1f5 Add license headers in most files that missed them 2025-06-12 11:01:07 +02:00
Quentin Gliech
6f7996da09 Tweak the codecov setup 2022-07-04 15:49:58 +02:00