From 91fbc6b029810d1fbd36d34677093ebc065cb620 Mon Sep 17 00:00:00 2001 From: Max Inden Date: Mon, 30 Sep 2024 18:40:27 +0200 Subject: [PATCH] Use git --- .github/workflows/polonius.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/polonius.yml b/.github/workflows/polonius.yml index d5beecb56..fc28a460b 100644 --- a/.github/workflows/polonius.yml +++ b/.github/workflows/polonius.yml @@ -56,6 +56,6 @@ jobs: minimum-version: ${{ steps.nss-version.outputs.minimum }} - name: Apply patch, removing `unsafe` workarounds. - run: patch -p1 < .github/workflows/polonius.diff + run: git apply .github/workflows/polonius.diff - run: RUSTFLAGS="-Z polonius" cargo +nightly check