8 Commits

Author SHA1 Message Date
Letro Bot
080b64d7fa added a short delay before auto-merge 2026-04-28 17:22:43 +03:30
Letro Bot
733e21b366 separate letro relese workflows 2026-04-26 14:13:05 +03:30
Letro Bot
ad6e18d13d align versioning to letro semantics 2026-04-26 13:01:16 +03:30
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