Rename CI YAML for GitHub workflow

criteo · Oct 12, 2023 · be97d34 · be97d34
1 parent 4a24c2a
commit be97d34
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/.github/workflows/kerberos-docker.yml → .github/workflows/ci.yml b/.github/workflows/kerberos-docker.yml → .github/workflows/ci.yml