19 Commits

Author	SHA1	Message	Date
github-actions[bot]	0a3975ea2d	lean-cli: Update to version 1.2.4	2023-05-15 16:28:13 +00:00
github-actions[bot]	ccb421dd86	lean-cli: Update to version 1.2.3	2023-03-24 08:28:33 +00:00
github-actions[bot]	2a74def873	lean-cli: Update to version 1.2.1	2023-03-23 20:27:25 +00:00
github-actions[bot]	0b84c09afe	lean-cli: Update to version 1.2.0	2023-03-20 12:31:54 +00:00
github-actions[bot]	182a46108a	lean-cli: Update to version 1.1.0	2022-10-20 08:30:54 +00:00
github-actions[bot]	1687cf52c5	lean-cli: Update to version 1.0.2	2022-07-22 16:31:07 +00:00
github-actions[bot]	6d9a0f5185	lean-cli: Update to version 1.0.1	2022-06-27 12:32:50 +00:00
github-actions[bot]	20aa0fd014	lean-cli: Update to version 1.0.0	2022-04-19 04:31:11 +00:00
github-actions[bot]	a5215fd4f1	lean-cli: Update to version 0.29.2	2022-01-28 12:30:07 +00:00
Richard Kuhnt	af778db628	lean-cli: Update to version 0.29.1	2021-12-03 18:02:00 +00:00
Valinor	6f2baddafa	Manifests update (#2842)	2021-10-29 16:28:16 +08:00
Jakub Čábera	c0009f1e81	lean-cli: Update to version 0.28.0	2021-10-21 08:51:07 -07:00
Jakub Čábera	dea142f31b	lean-cli: Update to version 0.27.0	2021-10-08 00:19:44 -07:00
Jakub Čábera	42f2a993c2	lean-cli: Update to version 0.26.0	2021-09-24 09:49:08 -07:00
Jakub Čábera	1f0872d201	lean-cli: Update to version 0.25.1	2021-09-06 23:11:06 -07:00
Jakub Čábera	e9fd5ce57c	lean-cli: Update to version 0.25.0	2021-06-10 03:54:02 -07:00
Jakub Čábera	95e274e6a2	lean-cli: Update to version 0.24.4	2021-05-10 12:37:36 +02:00
Jakub Čábera	00f468ef89	lean-cli: Update to version 0.24.3	2021-04-15 05:50:59 +02:00
batkiz	90b5a8b5f9	lean-cli: add version 0.24.2 (#1648) ... * lean-cli: add version 0.24.1 * Update lean-cli.json * lean-cli: update to version 0.24.2 Co-authored-by: Chawye Hsu <chawyehsu@hotmail.com>	2021-01-21 07:33:22 -08:00