HF RL Explorer

bisturi ini set: 3 edits in 2 file(s)

bisturi ini set: 3 edits in 2 file(s): a task in bisturi-harbor (Harbor dataset). Nel file settings.ini nella sezione worker , porta timeout da 120 a 240 ; poi nel file settings.prod.ini nella sezione scheduler imposta timezone a UTC e cambia path della sezione metrics da /metrics a /stats . Tutto…

The task

Nel file `settings.ini` nella sezione `[worker]`, porta `timeout` da `120` a `240`; poi nel file `settings.prod.ini` nella sezione `[scheduler]` imposta `timezone` a `UTC` e cambia `path` della sezione `[metrics]` da `/metrics` a `/stats`. Tutto il resto deve restare identico.

Part of efederici/bisturi-harbor.