Jojii f2c012732e Currently running optimizers in Metrics (#7316) ...

* Currently running optimizer count in metrics

* Clearly state the prerequisites of count_optimizers_running()

* Minor improvements

* improve metric naming

2025-10-23 10:45:59 +02:00

..

cancel

Bump Rust edition to 2024 (#6042)

2025-02-25 11:21:25 +01:00

common

Currently running optimizers in Metrics (#7316)

2025-10-23 10:45:59 +02:00

dataset

build(deps): bump flate2 from 1.1.2 to 1.1.4 (#7349)

2025-10-07 09:35:14 +02:00

io

Use fs-err (#7319)

2025-09-29 12:47:10 +00:00

issues

Fix Clippy 1.87 bis (#6518)

2025-05-12 19:54:13 +02:00

memory

Use fs-err (#7319)

2025-09-29 12:47:10 +00:00