Skip to content
EditorConfig Checker

server : add option to time limit the generation phase #17713

Sign in to view logs

server : add option to time limit the generation phase

server : add option to time limit the generation phase #17713

Triggered via pull request October 12, 2024 12:54
@ggerganovggerganov
opened #9865
gg/server-time-limits
Status Success
Total duration 18s
Artifacts –

editorconfig.yml

on: pull_request
editorconfig
10s
editorconfig
Fit to window
Zoom out
Zoom in