From 28867f012df83fd7e6aabb635e1714ed19af8b69 Mon Sep 17 00:00:00 2001 From: Max Date: Thu, 20 May 2021 23:33:08 +0200 Subject: [PATCH] GitHub does *not* like workflows in subdirectories... sad --- .github/workflows/{dev/pr.yml => dev_pr.yml} | 0 .github/workflows/{dev/push.yml => dev_push.yml} | 0 2 files changed, 0 insertions(+), 0 deletions(-) rename .github/workflows/{dev/pr.yml => dev_pr.yml} (100%) rename .github/workflows/{dev/push.yml => dev_push.yml} (100%) diff --git a/.github/workflows/dev/pr.yml b/.github/workflows/dev_pr.yml similarity index 100% rename from .github/workflows/dev/pr.yml rename to .github/workflows/dev_pr.yml diff --git a/.github/workflows/dev/push.yml b/.github/workflows/dev_push.yml similarity index 100% rename from .github/workflows/dev/push.yml rename to .github/workflows/dev_push.yml