leanprover-radar

[Benchmark results](https://radar.lean-lang.org/repos/lean4/commits/b4604799de17096e4e3470c76dfaffdca8af4e0a?reference=ad02aa159c96aa78a01a5fff0e77413da3933094) for b4604799de17096e4e3470c76dfaffdca8af4e0a against ad02aa159c96aa78a01a5fff0e77413da3933094 are in! @hargoniX Runs (2) - 🟥 `build` exited with code **-1** - 🟥 `other` exited with code **-1**

[Benchmark results](https://radar.lean-lang.org/repos/lean4/commits/6eae00f312075e4fbf4d43c418136ae82e61ab2e?reference=ad02aa159c96aa78a01a5fff0e77413da3933094) for 6eae00f312075e4fbf4d43c418136ae82e61ab2e against ad02aa159c96aa78a01a5fff0e77413da3933094 are in! @hargoniX Major changes (1) - ✅ `workspaceSymbols//instructions`: **-707.9M** (**-2.6%**)

[Benchmark results](https://radar.lean-lang.org/repos/lean4/commits/3e4c2c6af9b88a35bf63c90bb638d7d2a208f332?reference=59045c62276809a8b9cbc2a5f6904aeecf29dea7) for 3e4c2c6af9b88a35bf63c90bb638d7d2a208f332 against 59045c62276809a8b9cbc2a5f6904aeecf29dea7 are in! @hargoniX Major changes (1) - ✅ `workspaceSymbols//instructions`: **-664.8M** (**-2.5%**)

[Benchmark results](https://radar.lean-lang.org/repos/lean4/commits/63a4aaaac72588135a639f77720b55155773825d?reference=59045c62276809a8b9cbc2a5f6904aeecf29dea7) for 63a4aaaac72588135a639f77720b55155773825d against 59045c62276809a8b9cbc2a5f6904aeecf29dea7 are in! @hargoniX Major changes (1) - ✅ `workspaceSymbols//instructions`: **-612.4M** (**-2.3%**)

[Benchmark results](https://radar.lean-lang.org/repos/lean4/commits/402ec6839b66d1728a9667d6731b57eb2b9cfd37?reference=5339c47555cb65958259b1c4c4c687c3863a08be) for 402ec6839b66d1728a9667d6731b57eb2b9cfd37 against 5339c47555cb65958259b1c4c4c687c3863a08be are in! @hargoniX Major changes (2) - ✅ `charactersIn//instructions`: **-4.7G** (**-10.6%**) - ✅ `workspaceSymbols//instructions`: **-608.7M** (**-2.3%**)

[Benchmark results](https://radar.lean-lang.org/repos/lean4/commits/bd394c45ecf0319df8f3872828388a79b6817b9d?reference=5339c47555cb65958259b1c4c4c687c3863a08be) for bd394c45ecf0319df8f3872828388a79b6817b9d against 5339c47555cb65958259b1c4c4c687c3863a08be are in! @hargoniX Major changes (2) - ✅ `charactersIn//instructions`: **-2.5G** (**-5.6%**) - ✅ `workspaceSymbols//instructions`: **-496.8M** (**-1.9%**)

[Benchmark results](https://radar.lean-lang.org/repos/lean4/commits/d29deec7cc307bbeac0b2545a3bb404850a544ba?reference=95a7c769d8d1565fdafd32553bb44d7d53edf5c3) for d29deec7cc307bbeac0b2545a3bb404850a544ba against 95a7c769d8d1565fdafd32553bb44d7d53edf5c3 are in! @hargoniX Major changes (2) - ✅ `charactersIn//instructions`: **-4.8G** (**-10.8%**) - ✅ `workspaceSymbols//instructions`: **-679.5M** (**-2.6%**)

[Benchmark results](https://radar.lean-lang.org/repos/mathlib4/commits/e90beccdbac9614420d87c305cd945030ff34c32?reference=e11cecf457b7114a4d013dfb872273c41da6ee2d) for e90beccdbac9614420d87c305cd945030ff34c32 against e11cecf457b7114a4d013dfb872273c41da6ee2d are in! @fpvandoorn No significant changes detected.

[Benchmark results](https://radar.lean-lang.org/repos/lean4/commits/6aeb7c546948c0300c0f77224ffce662df738d52?reference=c41cb64ca7cd86a0519d009532bad87bc87e9d2a) for 6aeb7c546948c0300c0f77224ffce662df738d52 against c41cb64ca7cd86a0519d009532bad87bc87e9d2a are in! @mhuisi Runs (1) - `other` exited with code **1** (🟥) Minor changes (3) - `stdlib size//bytes .olean` changed by **+0.3%** (🟥). -...

[Benchmark results](https://radar.lean-lang.org/repos/lean4/commits/6e4ffe18a2b75e5f29bdb167f73d74b25c2ed636?reference=c41cb64ca7cd86a0519d009532bad87bc87e9d2a) for 6e4ffe18a2b75e5f29bdb167f73d74b25c2ed636 against c41cb64ca7cd86a0519d009532bad87bc87e9d2a are in! @mhuisi Runs (1) - `other` exited with code **1** (🟥) Minor changes (2) - `stdlib size//bytes .olean` changed by **+0.3%** (🟥). -...