PR #8110 disable docker CI on pull requests

disable docker CI on pull requests #8110

slaren merged 1 commit into master from sl/disable-docker-pr

disable docker CI on pull requests

3b957221

ggerganov approved these changes on 2024-06-25

HanClinto approved these changes on 2024-06-25

github-actions added devops

slaren merged dd047b47 into master 2 years ago

slaren deleted the sl/disable-docker-pr branch 2 years ago

Reviewers

ggerganov

HanClinto

Assignees

No one assigned

Labels

devops

Milestone

No milestone