From a52703b6e1af31b4dca5e62ef34811db6f10a37d Mon Sep 17 00:00:00 2001 From: "Arjun G. Menon" Date: Thu, 21 Nov 2024 21:48:54 -0500 Subject: [PATCH] Attempt to fix pyre type check --- .github/workflows/type-checks.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/type-checks.yml b/.github/workflows/type-checks.yml index ee2e086..05c86be 100644 --- a/.github/workflows/type-checks.yml +++ b/.github/workflows/type-checks.yml @@ -44,7 +44,7 @@ jobs: submodules: true - name: Run Pyre - uses: facebook/pyre-action@60697a7858f7cc8470d8cc494a3cf2ad6b06560d + uses: facebook/pyre-action@v0.0.2 with: # To customize these inputs: # See https://github.com/facebook/pyre-action#inputs