From fa708992390236e317defe3791af927ba43b7804 Mon Sep 17 00:00:00 2001 From: Ryan Goree Date: Wed, 26 Jun 2024 10:37:23 -0500 Subject: [PATCH] Don't lint PRs for now --- .github/workflows/pull-request.yml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/workflows/pull-request.yml b/.github/workflows/pull-request.yml index 4221fab..ebc1c07 100644 --- a/.github/workflows/pull-request.yml +++ b/.github/workflows/pull-request.yml @@ -15,7 +15,8 @@ jobs: runs-on: ubuntu-latest strategy: matrix: - tasks: [lint, build, typecheck, test] + # tasks: [lint, build, typecheck, test] + tasks: [build, typecheck, test] steps: - name: Check out code