Fix ECDH workflow naming

cryspen · Jul 9, 2024 · 8a8358e · 8a8358e
1 parent e7526dc
commit 8a8358e
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/ecdh.yml b/.github/workflows/ecdh.yml
@@ -1,4 +1,4 @@
-name: KEM
+name: ECDH
 
 on:
  push:
@@ -117,4 +117,4 @@ jobs:
  - name: 🏃🏻‍♀️ Test Portable Release
  run: |
  cargo clean
- LIBCRUX_DISABLE_SIMD128=1 LIBCRUX_DISABLE_SIMD256=1 cargo test --verbose --release $RUST_TARGET_FLAG
+ LIBCRUX_DISABLE_SIMD128=1 LIBCRUX_DISABLE_SIMD256=1 cargo test --verbose --release $RUST_TARGET_FLAG