PR #7471 build : remove zig

build : remove zig #7471

ggerganov merged 1 commit into master from gg/zig-remove

build : remove zig

875090dd

ggerganov force pushed to 875090dd 2 years ago

ggerganov merged 197ff914 into master 2 years ago

ggerganov deleted the gg/zig-remove branch 2 years ago

github-actions added devops

Reviewers

No reviews

Assignees

No one assigned

Labels

devops

Milestone

No milestone