chore(ci): migrate to GitTea actions

This commit is contained in:
2025-06-06 08:01:11 +02:00
parent 2889a5390c
commit 848f9c9fd8
20 changed files with 3119 additions and 157 deletions

View File

@ -1,6 +1,3 @@
# EditorConfig is awesome: https://EditorConfig.org
# top-most EditorConfig file
root = true
[*]
@ -9,4 +6,7 @@ indent_size = 2
end_of_line = lf
charset = utf-8
trim_trailing_whitespace = true
insert_final_newline = false
insert_final_newline = false
[Makefile]
indent_style = tab