Test against PR branches of Rust dependents

mit-plv · Aug 22, 2023 · aabb0ec · aabb0ec
1 parent 7754e3a
commit aabb0ec
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 2 deletions.
diff --git a/etc/ci/test-fiat-rust-crate-crypto-Ed448-Goldilocks.sh b/etc/ci/test-fiat-rust-crate-crypto-Ed448-Goldilocks.sh
@@ -5,10 +5,13 @@ set -ex
 ################################################################################
 # Tests for crate-crypto/Ed448-Goldilocks
 ################################################################################
-git clone https://github.com/crate-crypto/Ed448-Goldilocks.git --branch=master Ed448-Goldilocks || exit $?
+git clone https://github.com/divergentdave/Ed448-Goldilocks.git --branch=fiat-crypto-0.2 Ed448-Goldilocks || exit $?
 
 pushd Ed448-Goldilocks >/dev/null || exit $?
+git checkout 671c75e9377b9cb64b14ce9a3749fde716f97d95 || exit $?
 
+mv Cargo.toml Cargo.toml.old
+head -n -3 Cargo.toml.old > Cargo.toml
 cat >> Cargo.toml <<EOF
 
 [patch.crates-io]

diff --git a/etc/ci/test-fiat-rust-curve25519-dalek.sh b/etc/ci/test-fiat-rust-curve25519-dalek.sh
@@ -5,10 +5,13 @@ set -ex
 ################################################################################
 # Tests for calibra/curve25519-dalek
 ################################################################################
-git clone https://github.com/dalek-cryptography/curve25519-dalek curve25519-dalek || exit $?
+git clone https://github.com/divergentdave/curve25519-dalek --branch=fiat-crypto-newtype curve25519-dalek || exit $?
 
 pushd curve25519-dalek >/dev/null || exit $?
+git checkout ca97bcf7c43f7b10d5ae3b3e04177a551ac14cc9 || exit $?
 
+mv Cargo.toml Cargo.toml.old
+head -n -2 Cargo.toml.old > Cargo.toml
 cat >> Cargo.toml <<EOF
 [patch.crates-io]
 fiat-crypto = { path = "../fiat-rust" }