Skip to content

Add tests

Add tests #6980

Annotations

1 error

build

failed Jan 16, 2025 in 24m 37s
Set up job
1s
Initialize containers
1s
Run actions/checkout@v2
1s
Checkout Lean Master
6s
Build Lean Master
56s
Run Benchmarks Master
11m 12s
Build
58s
Run Benchmarks
11m 16s
Compare Benchmarks
0s
Post Checkout Lean Master
0s
Post Run actions/checkout@v2
0s
Stop containers
0s
Complete job
0s