Skip to content
Check for copyright header

test: add two benchmarks that are slow to parse or elaborate #5311

Sign in to view logs

test: add two benchmarks that are slow to parse or elaborate

test: add two benchmarks that are slow to parse or elaborate #5311

check-lean-files

check-lean-files
succeeded Oct 8, 2024 in 25s