From adce21a91f4b55cad1126fa4d453b4d6eef79f7f Mon Sep 17 00:00:00 2001 From: Warrick Lo Date: Wed, 24 Jun 2026 07:58:06 +0000 Subject: Add CI pipeline for formal verification * Add formal verification tests with sby to CI * Fix reviewdog having insufficient API permissions See-also: #15 Signed-off-by: Warrick Lo --- .github/workflows/lint.yaml | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) (limited to '.github/workflows/lint.yaml') diff --git a/.github/workflows/lint.yaml b/.github/workflows/lint.yaml index 94ad728..91424ca 100644 --- a/.github/workflows/lint.yaml +++ b/.github/workflows/lint.yaml @@ -6,11 +6,11 @@ jobs: lint: runs-on: ubuntu-latest steps: - - uses: actions/checkout@master - - uses: chipsalliance/verible-linter-action@main - with: - config_file: "lint.rules" - github_token: ${{ secrets.GITHUB_TOKEN }} - - name: Fail on lint errors - run: | - verible-verilog-lint --lint_fatal=true --rules_config=lint.rules $(find . -name "*.sv" -o -name "*.v") + - uses: actions/checkout@master + - uses: chipsalliance/verible-linter-action@main + with: + config_file: "lint.rules" + github_token: ${{ secrets.GITHUB_TOKEN }} + - name: Fail on lint errors + run: | + verible-verilog-lint --lint_fatal=true --rules_config=lint.rules $(find . -name "*.sv" -o -name "*.v") -- cgit v1.2.3