From 3a72400202642f0bb340fb2b1d1c31da2b6524dd Mon Sep 17 00:00:00 2001 From: Dhruv Manilawala Date: Fri, 5 Jul 2024 18:42:49 +0530 Subject: [PATCH] Rename publish workflow file extension (`yaml` -> `yml`) (#12206) --- .github/workflows/{publish-docs.yaml => publish-docs.yml} | 0 .../workflows/{publish-playground.yaml => publish-playground.yml} | 0 2 files changed, 0 insertions(+), 0 deletions(-) rename .github/workflows/{publish-docs.yaml => publish-docs.yml} (100%) rename .github/workflows/{publish-playground.yaml => publish-playground.yml} (100%) diff --git a/.github/workflows/publish-docs.yaml b/.github/workflows/publish-docs.yml similarity index 100% rename from .github/workflows/publish-docs.yaml rename to .github/workflows/publish-docs.yml diff --git a/.github/workflows/publish-playground.yaml b/.github/workflows/publish-playground.yml similarity index 100% rename from .github/workflows/publish-playground.yaml rename to .github/workflows/publish-playground.yml