From daee989eca50615719061645bcd1fd48696876e5 Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Wed, 14 Dec 2022 17:26:35 -0500
Subject: [PATCH] [CI] [Rust] Adapt to new backend selection

cf https://github.com/dalek-cryptography/curve25519-dalek/issues/414 , https://github.com/dalek-cryptography/curve25519-dalek/pull/428/files
---
 etc/ci/test-fiat-rust-curve25519-dalek.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/etc/ci/test-fiat-rust-curve25519-dalek.sh b/etc/ci/test-fiat-rust-curve25519-dalek.sh
index 08b92571d9..ace7d115d3 100755
--- a/etc/ci/test-fiat-rust-curve25519-dalek.sh
+++ b/etc/ci/test-fiat-rust-curve25519-dalek.sh
@@ -14,7 +14,7 @@ cat >> Cargo.toml <<EOF
 fiat-crypto = { path = "../fiat-rust" }
 EOF
 
-cargo test --features="std fiat_u64_backend" --no-default-features || exit $?
-cargo test --features="std fiat_u32_backend" --no-default-features || exit $?
+cargo test --features="std fiat_backend" --no-default-features --target x86_64-unknown-linux-gnu || exit $?
+cargo test --features="std fiat_backend" --no-default-features --target i686-unknown-linux-gnu || exit $?
 
 popd >/dev/null