Commit Graph

5 Commits

Author SHA1 Message Date
Quentin Gliech
c3707c13ae Add license headers in most files that missed them 2025-06-12 11:01:07 +02:00
Quentin Gliech
3d96dc9d47 Update license headers to match the actual license 2025-06-12 10:32:16 +02:00
Quentin Gliech
e378539e67 Remove CI for the old syn2mas tool 2025-04-23 17:44:30 +02:00
Quentin Gliech
a41db67ec6 Trigger the build workflow on PRs with a label 2025-02-26 16:11:44 +01:00
Quentin Gliech
90bd12e459 Extract CI scripts in separate files 2025-02-06 11:27:25 +01:00