3 Commits

Include renames

Author	SHA1	Message	Date
Ismail Pelaseyed	4d2c51729a	delete lint workflow	2025-07-21 10:19:50 +02:00
Ismail Pelaseyed	13a0682548	update github workflows	2025-07-21 10:12:57 +02:00
Ismail Pelaseyed	612ffa5454	add github workflows for linting and type checking	2025-07-21 10:07:04 +02:00