simon.chupin
|
819d5a2b61
|
ci: Add python types hints
|
2022-07-22 21:15:01 +02:00 |
|
simon.chupin
|
09d15e5abc
|
tools: Change copyright in ci dir
|
2022-07-11 12:58:06 +00:00 |
|
Fu Hanxi
|
0146f258d7
|
style: format python files with isort and double-quote-string-fixer
|
2021-01-26 10:49:01 +08:00 |
|
Ivan Grokhotkov
|
52607063cb
|
ci: add script to check section references
|
2020-09-03 18:14:17 +02:00 |
|