diff --git a/.github/workflows/kyber.yml b/.github/workflows/mlkem.yml similarity index 98% rename from .github/workflows/kyber.yml rename to .github/workflows/mlkem.yml index 729317785..267e1e9e5 100644 --- a/.github/workflows/kyber.yml +++ b/.github/workflows/mlkem.yml @@ -1,4 +1,4 @@ -name: Extract and TC Kyber +name: Extract and TC ML-Kem on: pull_request: @@ -11,7 +11,7 @@ env: CARGO_TERM_COLOR: always jobs: - hax: + extract-mlkem: if: ${{ github.event_name == 'workflow_dispatch' || github.event_name == 'merge_group' }} runs-on: "ubuntu-latest"