6 Commits

Author	SHA1	Message	Date
moruiris	0f4cbe0bb4	Update Lean_x86.yml	2022-03-06 23:31:19 +08:00
moruiris	d119d261ea	Update Lean_x86.yml	2022-03-04 17:22:42 +08:00
moruiris	2a7e742838	Update Lean_x86.yml	2022-03-04 17:22:10 +08:00
moruiris	857da351df	Update Lean_x86.yml	2022-03-04 16:38:12 +08:00
moruiris	346f2d2d0c	Update Lean_x86.yml	2022-03-04 14:46:01 +08:00
moruiris	a800acf31f	Create Lean_x86.yml	2022-03-04 14:09:34 +08:00