merge from RustCrypto

Signed-off-by: Mike Lodder <redmike7@gmail.com>

Author: mikelodder7

.github/workflows/ml-kem.yml

@@ -30,8 +30,6 @@ jobs:
       msrv: 1.85.0
 
   minimal-versions:
-    # temporarily disabled as requested by Tony (https://github.com/RustCrypto/KEMs/pull/15#pullrequestreview-2006378802)
-    if: false
     uses: RustCrypto/actions/.github/workflows/minimal-versions.yml@master
     with:
       working-directory: ${{ github.workflow }}