From 4e873f5ec4799ecdcc3889843dd0a6c908fc6401 Mon Sep 17 00:00:00 2001 From: Ralph Filho Date: Fri, 16 Aug 2024 10:47:46 -0300 Subject: [PATCH] test --- .github/workflows/skip_lint.yml | 17 ----------------- 1 file changed, 17 deletions(-) delete mode 100644 .github/workflows/skip_lint.yml diff --git a/.github/workflows/skip_lint.yml b/.github/workflows/skip_lint.yml deleted file mode 100644 index 1c768a23..00000000 --- a/.github/workflows/skip_lint.yml +++ /dev/null @@ -1,17 +0,0 @@ -# This step is used only because we want to mark the runner-linter check as required -# for PRs to develop, but not for the merge queue to merge into develop, -# github does not have this functionality yet - -name: 'Skip github-actions/runner-linter check at merge queue' - -on: - merge_group: - -jobs: - empty_job: - name: 'github-actions/runner-linter' - runs-on: github-actions-developers-runner - steps: - - name: Skip github-actions/runner-linter check at merge queue - run: | - echo "Done"