From 80267a5ca79e3ac21e58423f8b2d6b1eace28850 Mon Sep 17 00:00:00 2001
From: F-WRunTime <freeman.wenzl@runtimeverification.com>
Date: Mon, 7 Oct 2024 15:35:57 -0600
Subject: [PATCH] Rename file to add properly yaml extension

---
 .github/workflows/{master-push => master-push.yml} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename .github/workflows/{master-push => master-push.yml} (100%)

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