From 1f1da3237196ed5361a2b4c31aa74f8ab02c0fc0 Mon Sep 17 00:00:00 2001 From: Chocobo1 Date: Sat, 22 Apr 2023 02:52:54 +0800 Subject: [PATCH] Rename CI script See: https://stackoverflow.com/questions/22268952/what-is-the-difference-between-yaml-and-yml-extension --- .github/workflows/{coverity-scan.yml => coverity-scan.yaml} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename .github/workflows/{coverity-scan.yml => coverity-scan.yaml} (100%) diff --git a/.github/workflows/coverity-scan.yml b/.github/workflows/coverity-scan.yaml similarity index 100% rename from .github/workflows/coverity-scan.yml rename to .github/workflows/coverity-scan.yaml