Commit Graph

3 Commits

Author SHA1 Message Date
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