7 Commits

Author	SHA1	Message	Date
felipegchi	a92495f6f0	fix: changed to tids=1 in the type checker because snooze is causing some problems in HVM	2022-12-01 11:24:42 -03:00
felipegchi	b4e6bd8bad	chore: fixed workflow	2022-11-30 14:22:39 -03:00
Felipe g	075c1c0dc3	Removed useless line in ci	2022-09-26 11:09:39 -03:00
Felipe g	dd7b02f939	Added timeout in everything	2022-09-26 11:06:24 -03:00
Felipe g	801213664c	Removed profile that does not exists	2022-09-21 13:07:12 -03:00
Felipe g	8d3b03d38c	Fix workflows	2022-09-21 13:05:54 -03:00
Felipe g	d9da5be62a	Added the same github workflow from Kindelia/Kindelia	2022-09-21 13:05:53 -03:00