From 55a4805a59e1233b4105f06f4f69fbca80cb5697 Mon Sep 17 00:00:00 2001 From: David Gardner Date: Mon, 8 Apr 2024 16:35:01 -0700 Subject: [PATCH] WIP : DO NOT MERGE! --- .github/workflows/ci_pipe.yml | 1 - 1 file changed, 1 deletion(-) diff --git a/.github/workflows/ci_pipe.yml b/.github/workflows/ci_pipe.yml index 1b3341f87..ed260f4bb 100644 --- a/.github/workflows/ci_pipe.yml +++ b/.github/workflows/ci_pipe.yml @@ -102,7 +102,6 @@ permissions: jobs: check: - if: ${{ inputs.run_check }} name: Check runs-on: linux-amd64-cpu4 timeout-minutes: 60