Added seed based MLKEM test vectors #158
Workflow file for this run
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Vector Lint | |
| permissions: | |
| contents: read | |
| on: | |
| push: | |
| pull_request: | |
| jobs: | |
| build: | |
| name: Lint vectors/schemas | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Check out code | |
| uses: actions/checkout@v4 | |
| - name: Set up Go | |
| uses: actions/setup-go@v5 | |
| with: | |
| go-version-file: go.mod | |
| - name: Check if modules are tidy | |
| run: | | |
| go mod tidy | |
| if [ -n "$(git status --porcelain go.mod go.sum)" ]; then | |
| echo "go.mod or go.sum are not tidy. Please run 'go mod tidy' locally and commit changes." | |
| git diff go.mod go.sum | |
| exit 1 | |
| fi | |
| - name: Verify Go formatting | |
| # 'gofmt -l .' to list files whose formatting differs from gofmt's | |
| # 'test -z' to verify that the output is empty | |
| run: test -z "$(gofmt -l .)" | |
| - name: Verify JSON formatting | |
| run: ./tools/reformat_json.py && git diff --exit-code | |
| - name: Run vectorlint | |
| run: go run ./tools/vectorlint | |
| - name: Run twistcheck | |
| run: go run ./tools/twistcheck |