Jojii 3fd07eb082 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-11-14 12:29:36 +01:00

..

cancel

Bump Rust edition to 2024 (#6042)

2025-03-21 11:38:56 +01:00

common

Currently running optimizers in Metrics (#7316)

2025-11-14 12:29:36 +01:00

dataset

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

2025-11-14 12:27:47 +01:00

io

Use fs-err (#7319)

2025-11-14 12:26:51 +01:00

issues

Fix Clippy 1.87 bis (#6518)

2025-05-22 23:10:13 +02:00

memory

Use fs-err (#7319)

2025-11-14 12:26:51 +01:00