Skip to content

Commit c0d5b9b

Browse files
author
Lean stage0 autoupdater
committed
chore: update stage0
1 parent 96461a4 commit c0d5b9b

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

97 files changed

+61568
-30050
lines changed

‎stage0/src/stdlib_flags.h‎

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,5 @@
11
#include "util/options.h"
22

3-
// Dear CI, please update stage 0
4-
53
namespace lean {
64
options get_default_options() {
75
options opts;

‎stage0/stdlib/Init/Data/String/Substring.c‎

Lines changed: 10 additions & 10 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎stage0/stdlib/Lean/Compiler/IR/Boxing.c‎

Lines changed: 1141 additions & 690 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎stage0/stdlib/Lean/Compiler/LCNF/Basic.c‎

Lines changed: 12 additions & 12 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

0 commit comments

Comments
 (0)