perf: separate meta and non-meta initializers

[Kha]

No description provided.

[Kha]

!bench

[leanprover-radar]

Benchmark results for 1a37a5e against d8fb702 are in! @Kha

Warning

These warnings may indicate that the benchmark results are not directly comparable, for example due to changes in the runner configuration or hardware.

• Bench repo commit hashes for run build differ between commits.
• Bench repo commit hashes for run other differ between commits.

• 🟥 build exited with code 2
• 🟥 other exited with code 2

No significant changes detected.

[Kha]

!bench

[leanprover-radar]

Benchmark results for ac0b832 against d8fb702 are in! @Kha

Warning

These warnings may indicate that the benchmark results are not directly comparable, for example due to changes in the runner configuration or hardware.

• Bench repo commit hashes for run build differ between commits.
• Bench repo commit hashes for run other differ between commits.

• 🟥 build exited with code 2
• 🟥 other exited with code 2

No significant changes detected.

[Kha]

!bench

[leanprover-radar]

Benchmark results for c26cdd9 against d8fb702 are in! @Kha

Warning

These warnings may indicate that the benchmark results are not directly comparable, for example due to changes in the runner configuration or hardware.

• Bench repo commit hashes for run build differ between commits.
• Bench repo commit hashes for run other differ between commits.

• ✅ build//instructions: -54.8G (-0.4%)
• 🟥 other exited with code 1

Large changes (2🟥)

• 🟥 size/install//bytes: +68MiB (+2.8%)
• 🟥 size/libleanshared.so//bytes: +21MiB (+10.8%)

Small changes (1709✅, 16🟥)

Too many entries to display here. View the full report on radar instead.