5 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	52b0a9b2ba	Update license headers to match the actual license	2025-06-12 10:32:16 +02:00
Quentin Gliech	afc625b192	Remove CI for the old syn2mas tool	2025-04-23 17:44:30 +02:00
Quentin Gliech	7a424784f1	Trigger the build workflow on PRs with a label	2025-02-26 16:11:44 +01:00
Quentin Gliech	690b88c668	Extract CI scripts in separate files	2025-02-06 11:27:25 +01:00