From 0bb5b1486b345e1b5e2cf349de6ca2a8f2f54d00 Mon Sep 17 00:00:00 2001
From: Uwe Klotz <uwe.klotz@gmail.com>
Date: Mon, 10 Jul 2023 15:36:21 +0200
Subject: [PATCH] GitHub CI: Rename .yml -> .yaml

No need to use DOS-like 8.3 file names.
---
 .github/workflows/{ci.yml => ci.yaml} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename .github/workflows/{ci.yml => ci.yaml} (100%)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yaml
similarity index 100%
rename from .github/workflows/ci.yml
rename to .github/workflows/ci.yaml