Use locally mirrored diff

3 years ago · 5e39617424
parent fa4f3e431f
commit 5e39617424
1 changed files with 1 additions and 2 deletions
--- 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 -