PR #9418 common : reimplement logging

common : reimplement logging #9418

ggerganov merged 8 commits into master from gg/log

github-actions added examples

github-actions added ggml

github-actions added testing

ggerganov force pushed 1 year ago

github-actions added server

ggerganov force pushed to f0299474 1 year ago

github-actions added python

github-actions added devops

ggerganov force pushed to 2dff6f4d 1 year ago

common : reimplement the logger

2948768e

ggerganov force pushed from 51dbf513 to 2948768e 1 year ago

log : print if build is debug [no ci]

078be074

examples : move gpt_init() after parsing the cli args

2afe0a0c

log : add comments + adjust defaults

8f84210d

ggerganov force pushed to 8f84210d 1 year ago

server : improve log format

0d0dc111

server : fix verbose check

ff3b3809

log : option to disable the log prefix

13226dc8

ggerganov force pushed to 13226dc8 1 year ago

ggerganov marked this pull request as ready for review 1 year ago

log : cleanup, comments, build flags

40638f71

ggerganov force pushed to 40638f71 1 year ago

ggerganov added merge ready

ggerganov merged 6262d13e into master 1 year ago

ggerganov deleted the gg/log branch 1 year ago

Djip007 commented on 2024-12-04

Reviewers

Djip007

Assignees

No one assigned

Labels

testing examples python devops server ggml merge ready

Milestone

No milestone