mirror of https://github.com/YosysHQ/picorv32.git
ci: Remove oss-test
This commit is contained in:
parent
4d33229786
commit
640c4e01fc
|
@ -4,16 +4,6 @@ on:
|
||||||
workflow_dispatch:
|
workflow_dispatch:
|
||||||
|
|
||||||
jobs:
|
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:
|
riscv-formal:
|
||||||
runs-on: ubuntu-latest
|
runs-on: ubuntu-latest
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue