diff options
| author | Warrick Lo <wlo@warricklo.net> | 2026-06-24 07:58:06 +0000 |
|---|---|---|
| committer | Warrick Lo <wlo@warricklo.net> | 2026-06-24 07:58:06 +0000 |
| commit | adce21a91f4b55cad1126fa4d453b4d6eef79f7f (patch) | |
| tree | 6132f55957a5e467cbb02e1eedecd4c75ff1e037 /.github/workflows/lint.yaml | |
| parent | Merge branch 'feature/core' (diff) | |
| download | montreal-adce21a91f4b55cad1126fa4d453b4d6eef79f7f.tar.xz montreal-adce21a91f4b55cad1126fa4d453b4d6eef79f7f.zip | |
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 <wlo@warricklo.net>
Diffstat (limited to '.github/workflows/lint.yaml')
| -rw-r--r-- | .github/workflows/lint.yaml | 16 |
1 files changed, 8 insertions, 8 deletions
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") |