From 5e39617424ee63cd618d82da2beebe4d6d2fdbb0 Mon Sep 17 00:00:00 2001
From: probonopd <probonopd@users.noreply.github.com>
Date: Thu, 21 Apr 2022 20:22:17 +0200
Subject: [PATCH] Use locally mirrored diff

---
 .github/workflows/build.yml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index fd453a2..cd7cd9e 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -25,8 +25,7 @@ jobs:
            set -ex
            # As long as https://github.com/rsta2/circle/pull/286 is not merged yet
            cd circle-stdlib/libs/circle
-           wget -q "https://github.com/matemaciek/circle/commit/cb2b3843b3efa84d9ccf4d2f1c739b95b1404ec3.diff"
-           patch -p1 < cb2b3843b3efa84d9ccf4d2f1c739b95b1404ec3.diff
+           patch -p1 < ../../../src/WM8960.diff
            rm *.diff
            find . -type f -name "*.orig" -delete
            cd -