workflows: use arch-specific dev shell

This commit is contained in:
Jan Winkelmann (keks)
2025-05-20 11:03:12 +02:00
parent 38e04a2e03
commit f008cff089
4 changed files with 11 additions and 11 deletions

View File

@@ -25,12 +25,12 @@ experiment_libcrux_chachapoly_test = [
]
experiment_libcrux_kyber = ["dep:libcrux-ml-kem", "dep:rand"]
bench = [
"dep:thiserror",
"dep:rand",
"dep:libcrux",
"dep:libcrux-blake2",
"dep:libcrux-ml-kem",
"dep:libcrux-chacha20poly1305",
"dep:thiserror",
"dep:rand",
"dep:libcrux",
"dep:libcrux-blake2",
"dep:libcrux-ml-kem",
"dep:libcrux-chacha20poly1305",
]
[[bench]]