diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index f62d28f9..c146e35a 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -119,3 +119,36 @@ jobs: --log-cli-level=INFO env: LEAN_ENV: test + + keygen-benchmark: + name: Keygen benchmark - ${{ matrix.scheme }} scheme + needs: [lint, test, fill-tests, interop-tests] + runs-on: ubuntu-latest + strategy: + fail-fast: false + matrix: + scheme: [test, prod] + steps: + - name: Checkout leanSpec + uses: actions/checkout@v4 + + - name: Set up Python 3.14 + uses: actions/setup-python@v5 + with: + python-version: "3.14" + + - name: Install uv + uses: astral-sh/setup-uv@v4 + with: + enable-cache: true + cache-dependency-glob: "pyproject.toml" + + - name: Sync dependencies + run: uv sync --no-progress + + - name: Generate 1 key (${{ matrix.scheme }} scheme) + run: | + time uv run python -m consensus_testing.keys \ + --scheme ${{ matrix.scheme }} \ + --count 1 \ + --max-slot 100