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 from c1e3c16c to d206f876 364 days ago

github-actions added server

ggerganov force pushed from 5a0d1642 to f0299474 363 days ago

github-actions added python

github-actions added devops

ggerganov force pushed from e7560abb to 2dff6f4d 363 days ago

common : reimplement the logger

2948768e

ggerganov force pushed from 51dbf513 to 2948768e 362 days 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 from dfd47383 to 8f84210d 362 days ago

server : improve log format

0d0dc111

server : fix verbose check

ff3b3809

log : option to disable the log prefix

13226dc8

ggerganov force pushed from 1b87cd80 to 13226dc8 362 days ago

ggerganov marked this pull request as ready for review 362 days ago

log : cleanup, comments, build flags

40638f71

ggerganov force pushed from e1ad8fdd to 40638f71 361 days ago

ggerganov added merge ready

ggerganov merged 6262d13e into master 359 days ago

ggerganov deleted the gg/log branch 359 days 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