update patch url

This commit is contained in:
Greg 2019-04-14 23:18:26 -04:00
parent ae77cce863
commit bc79c9b5ed
No known key found for this signature in database
GPG key ID: 2E44FAEEDC94B1E2

View file

@ -79,7 +79,7 @@ jobs:
D=$(mktemp -d)
git clone https://github.com/rust-embedded/cross.git "$D"
cd "$D"
curl -O -L "https://patch-diff.githubusercontent.com/raw/rust-embedded/cross/pull/169.patch"
curl -O -L "https://gist.githubusercontent.com/nickbabcock/c7bdc8e5974ed9956abf46ffd7dc13ff/raw/e211bc17ea88e505003ad763fac7060b4ac1d8d0/patch"
git apply patch
cargo install --path .
rm -rf "$D"