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/format.yaml | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) (limited to '.github/workflows/format.yaml') diff --git a/.github/workflows/format.yaml b/.github/workflows/format.yaml index fbef4a8..1c32511 100644 --- a/.github/workflows/format.yaml +++ b/.github/workflows/format.yaml @@ -5,8 +5,11 @@ on: [pull_request] jobs: format: runs-on: ubuntu-latest + permissions: + contents: read + pull-requests: write steps: - - uses: actions/checkout@master - - uses: chipsalliance/verible-formatter-action@main - with: - github_token: ${{ secrets.GITHUB_TOKEN }} + - uses: actions/checkout@master + - uses: chipsalliance/verible-formatter-action@main + with: + github_token: ${{ secrets.GITHUB_TOKEN }} -- cgit v1.2.3