Lean stage0 autoupdater
c8117a34c1
chore: update stage0
2025-09-11 12:27:01 +00:00
Lean stage0 autoupdater
af84f76f31
chore: update stage0
2025-07-26 15:58:53 +00:00
Lean stage0 autoupdater
d4afa3caaa
chore: update stage0
2025-07-16 02:48:16 +00:00
Lean stage0 autoupdater
668a892cdb
chore: update stage0
2025-07-11 08:18:55 +00:00
Lean stage0 autoupdater
921d252253
chore: update stage0
2025-07-02 18:26:42 +00:00
Sebastian Ullrich
f5c389468f
chore: update stage0
2025-06-27 08:13:31 -07:00
Lean stage0 autoupdater
e51d2d8747
chore: update stage0
2025-06-24 05:02:20 +00:00
Lean stage0 autoupdater
04c273dbc6
chore: update stage0
2025-06-18 02:09:11 +00:00
Sebastian Ullrich
b677702b02
chore: update stage0
2025-04-29 11:01:57 +02:00
Lean stage0 autoupdater
46526cc8fb
chore: update stage0
2025-04-22 11:08:24 +00:00
Lean stage0 autoupdater
e79fef15df
chore: update stage0
2025-04-11 14:12:34 +00:00
Lean stage0 autoupdater
a6f4802d66
chore: update stage0
2025-04-07 15:22:09 +00:00
Lean stage0 autoupdater
385c6db4ce
chore: update stage0
2025-03-21 21:12:34 +00:00
Lean stage0 autoupdater
5513f6a468
chore: update stage0
2025-03-17 19:01:29 +00:00
Lean stage0 autoupdater
22b6b49a43
chore: update stage0
2025-03-10 15:29:45 +00:00
Lean stage0 autoupdater
f8f1b2212a
chore: update stage0
2025-03-03 20:17:14 +00:00
Lean stage0 autoupdater
3deda3c6df
chore: update stage0
2025-02-19 12:38:31 +00:00
Lean stage0 autoupdater
01be97309e
chore: update stage0
2025-02-12 09:15:43 +00:00
Lean stage0 autoupdater
46ae4c0d7c
chore: update stage0
2025-02-10 11:58:06 +00:00
Lean stage0 autoupdater
897e9c5388
chore: update stage0
2025-02-04 18:30:41 +00:00
Sebastian Ullrich
729d6e5d5c
chore: update stage0
2025-01-29 15:59:05 +01:00
Lean stage0 autoupdater
26941793ff
chore: update stage0
2025-01-18 23:46:01 +00:00
Lean stage0 autoupdater
5fb2e892c8
chore: update stage0
2025-01-18 19:28:20 +00:00
Lean stage0 autoupdater
1214e6463f
chore: update stage0
2024-12-18 17:14:27 +00:00
Lean stage0 autoupdater
8a3a806b1a
chore: update stage0
2024-12-10 03:47:20 +00:00
Lean stage0 autoupdater
b6177bad9c
chore: update stage0
2024-12-09 22:30:45 +00:00
Lean stage0 autoupdater
9f42368e1a
chore: update stage0
2024-11-12 13:28:14 +00:00
Lean stage0 autoupdater
3f33cd6fcd
chore: update stage0
2024-11-01 23:33:27 +00:00
Kim Morrison
be6507fe5b
chore: update stage0
2024-11-01 22:48:49 +11:00
Lean stage0 autoupdater
ccdf07b6a1
chore: update stage0
2024-09-28 14:05:01 +00:00
Lean stage0 autoupdater
eceba0faf4
chore: update stage0
2024-09-20 09:14:22 +00:00
Kim Morrison
0b9a4bd65e
chore: update stage0
2024-09-10 15:24:23 +10:00
Lean stage0 autoupdater
bd5f8ef242
chore: update stage0
2024-08-14 09:45:24 +00:00
Lean stage0 autoupdater
21b4377d36
chore: update stage0
2024-08-04 19:11:50 +00:00
Leonardo de Moura
93d2ad5fa7
chore: update stage0
2024-06-28 00:55:47 +02:00
Lean stage0 autoupdater
968aff403b
chore: update stage0
2024-06-23 10:09:59 +00:00
Sebastian Ullrich
5767a597d4
chore: update stage0
2024-06-21 22:04:02 +02:00
Leonardo de Moura
2518105bd9
chore: update stage0
2024-06-19 20:21:34 +02:00
Lean stage0 autoupdater
dcdc3db3d4
chore: update stage0
2024-05-10 07:39:47 +00:00
Leonardo de Moura
dfde4ee3aa
chore: update stage0
2024-05-07 03:23:30 +02:00
Leonardo de Moura
7294646eb9
chore: update stage0
2024-04-29 05:46:11 +02:00
Scott Morrison
144c1bbbaf
chore: update stage0
2024-02-15 14:33:36 +11:00
Leonardo de Moura
819848a0db
chore: update stage0
2024-02-09 09:57:57 +11:00
Lean stage0 autoupdater
578a2308b1
chore: update stage0
2024-01-31 15:48:29 +00:00
Marc Huisinga
3025a4a9a1
chore: update stage0 ( #2992 )
...
Updates stage-0 so that we can use import auto-completion ourselves.
2023-11-29 15:26:12 +00:00
Sebastian Ullrich
79251f5fa2
feat: embed and check githash in .olean ( #2766 )
...
This is an additional safety net on top of #2749 : it protects users that
circumvent the build system (e.g. with `lake env`) as well as obviates
the need for TOCTOU-like race condition checks in the build system.
The check is activated by `CHECK_OLEAN_VERSION=ON`, which now defaults
to `OFF` as the sensible default for local development. When activated,
`USE_GITHASH=ON` is also force-enabled for stage 0 in order to make sure
that stage 1 can load its own core library.
2023-11-27 10:24:43 +00:00
Joachim Breitner
0adca630cc
chore: update stage0
2023-11-21 18:59:22 +01:00
Sebastian Ullrich
6c5f79c0df
chore: update stage0
2023-10-26 10:47:14 +02:00
SADIK KUZU
e0802d2dea
fix: typos in specialize.cpp ( #2702 )
2023-10-17 00:58:10 +00:00
Alexander Bentkamp
7dc1618ca5
feat: Web Assembly Build ( #2599 )
...
Co-authored-by: Rujia Liu <rujialiu@user.noreply.github.com>
2023-10-04 09:04:20 +02:00
