From e042b460bc9f1171f8210875f7d587ae94655cf1 Mon Sep 17 00:00:00 2001 From: "Daniel A. A. Pelsmaeker" Date: Wed, 10 Jul 2024 17:05:19 +0200 Subject: [PATCH] Rename CI workflows --- .github/workflows/{benchmark.yml => benchmark.yaml} | 0 .github/workflows/{build.yml => build.yaml} | 0 2 files changed, 0 insertions(+), 0 deletions(-) rename .github/workflows/{benchmark.yml => benchmark.yaml} (100%) rename .github/workflows/{build.yml => build.yaml} (100%) diff --git a/.github/workflows/benchmark.yml b/.github/workflows/benchmark.yaml similarity index 100% rename from .github/workflows/benchmark.yml rename to .github/workflows/benchmark.yaml diff --git a/.github/workflows/build.yml b/.github/workflows/build.yaml similarity index 100% rename from .github/workflows/build.yml rename to .github/workflows/build.yaml