feat(ci): Also test with Lean debug builds

[tobiasgrosser]

No description provided.

[github-actions]

VeIR Benchmarks

Details

Benchmark suite	Current: 2a878e4	Previous: 5324643	Ratio
add-fold-worklist/create	2169500 ns (± 107339)	2303000 ns (± 108978)	0.94
add-fold-worklist/rewrite	3748000 ns (± 65770)	3820000 ns (± 54180)	0.98
add-fold-worklist-local/create	2213000 ns (± 101913)	2181000 ns (± 161123)	1.01
add-fold-worklist-local/rewrite	3082000 ns (± 39525)	3073500 ns (± 296694)	1.00
add-zero-worklist/create	2186500 ns (± 106604)	2140000 ns (± 81279)	1.02
add-zero-worklist/rewrite	2333000 ns (± 28198)	2388000 ns (± 15418)	0.98
add-zero-reuse-worklist/create	1828500 ns (± 109170)	1822500 ns (± 124710)	1.00
add-zero-reuse-worklist/rewrite	1909000 ns (± 30166)	1965500 ns (± 59948)	0.97
mul-two-worklist/create	2230000 ns (± 39532)	2203000 ns (± 66660)	1.01
mul-two-worklist/rewrite	5212000 ns (± 127635)	5239000 ns (± 91205)	0.99
add-fold-forwards/create	2235000 ns (± 95763)	2181000 ns (± 103002)	1.02
add-fold-forwards/rewrite	3049000 ns (± 89480)	3033000 ns (± 32052)	1.01
add-zero-forwards/create	2239000 ns (± 103778)	2232000 ns (± 84165)	1.00
add-zero-forwards/rewrite	1943000 ns (± 51111)	1946000 ns (± 21529)	1.00
add-zero-reuse-forwards/create	1852000 ns (± 84721)	1857000 ns (± 98993)	1.00
add-zero-reuse-forwards/rewrite	1504000 ns (± 67523)	1548500 ns (± 49416)	0.97
mul-two-forwards/create	2187000 ns (± 80946)	2242000 ns (± 114986)	0.98
mul-two-forwards/rewrite	3635000 ns (± 79708)	3684500 ns (± 92254)	0.99
add-zero-reuse-first/create	1802000 ns (± 90929)	1883000 ns (± 11925)	0.96
add-zero-reuse-first/rewrite	8000 ns (± 1591)	8000 ns (± 0)	1
add-zero-lots-of-reuse-first/create	1798000 ns (± 99671)	1832000 ns (± 87818)	0.98
add-zero-lots-of-reuse-first/rewrite	764000 ns (± 41811)	806000 ns (± 40109)	0.95

This comment was automatically generated by workflow using github-action-benchmark.

[math-fehr]

If we wait the next lean update, this should pass without issue!

[tobiasgrosser]

If we wait the next lean update, this should pass without issue!

I rebased this on the lets nightly. Let's see if this goes through.

[math-fehr]

We can merge this, but I haven't figured out yet how to unstuck the failing github CI...
This is blocking the merge.
@tobiasgrosser, can you rebase to main and let's hope it relaunches all the CI?