14 commits

Author	SHA1	Message	Date
Marco	78581ff128	add back tests on push	2022-08-29 21:56:37 +08:00
Marco	f82ef7284a	should deny	2022-08-28 22:21:24 +08:00
Marco	3b95b086da	only pull requests	2022-08-28 21:57:18 +08:00
Marco	0a0b14cdad	always run coverage upload	2022-08-28 21:22:34 +08:00
Marco	2fde8e5573	add codecov	2022-08-28 21:06:19 +08:00
Marco	b3ebc9999d	build lelantus .so in workflow	2022-08-28 20:43:12 +08:00
Marco	7c256f1934	workflows firo	2022-08-26 22:24:41 +08:00
Marco	32c53b8342	remove analyze	2022-08-26 21:59:46 +08:00
Marco	d3a901bdf1	workflow	2022-08-26 21:54:28 +08:00
Marco	682a9bd487	workflow	2022-08-26 21:26:08 +08:00
Marco	46bf7614bf	workspace	2022-08-26 21:23:01 +08:00
Marco	a1562aa4c2	change temp	2022-08-26 21:06:50 +08:00
Marco	58f85fea41	checkout submodules	2022-08-26 20:43:39 +08:00
Marco	e2b8739ced	workflows	2022-08-26 20:35:41 +08:00