From 7b432ae6083f451a8fa29c25144df626dfb8fc8e Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 13 Jun 2025 10:51:04 -0700 Subject: [PATCH] Rename labeler.yml to labeller.yml fix spelling error --- .github/workflows/{labeler.yml => labeller.yml} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename .github/workflows/{labeler.yml => labeller.yml} (100%) diff --git a/.github/workflows/labeler.yml b/.github/workflows/labeller.yml similarity index 100% rename from .github/workflows/labeler.yml rename to .github/workflows/labeller.yml