diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 11cf5e0..ffc22fb 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -4,16 +4,6 @@ on: workflow_dispatch: jobs: - oss-test: - runs-on: ubuntu-latest - - steps: - - uses: actions/checkout@v4 - - uses: YosysHQ/setup-oss-cad-suite@v3 - with: - github-token: ${{ secrets.GITHUB_TOKEN }} - - run: yosys --version - riscv-formal: runs-on: ubuntu-latest