diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 8b1a159..4850c9a 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -41,7 +41,7 @@ jobs: - uses: actions/checkout@v4 - name: Run jsonlint run: make jsonlint - + veriloglint: runs-on: self-hosted needs: setup