Skip to content

Add Martin Luther King's day 2025 holiday to CME futures entries #6907

Add Martin Luther King's day 2025 holiday to CME futures entries

Add Martin Luther King's day 2025 holiday to CME futures entries #6907

build

succeeded Jan 9, 2025 in 17m 10s
Set up job
0s
Initialize containers
1s
Run actions/checkout@v2
2s
Checkout Lean Master
7s
Build Lean Master
1m 15s
Run Benchmarks Master
7m 24s
Build
54s
Run Benchmarks
7m 24s
Compare Benchmarks
0s
Post Checkout Lean Master
0s
Post Run actions/checkout@v2
0s
Stop containers
1s
Complete job
0s