github.com/olofk.serv
1
0
Fork 0
mirror of https://github.com/olofk/serv.git synced 2026-03-01 09:20:58 +00:00
Code Issues Releases Wiki Activity

Update cad-suite GH action

Browse Source
This commit is contained in:
Olof Kindgren
2024-11-11 08:13:32 +01:00
parent 8ad248d4e7
commit e97bdaf7a1
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
.github/workflows/formal.yml vendored
View File

@@ -14,7 +14,7 @@ jobs:
uses: actions/checkout@v4
with:
path: cores/serv/serv-src
- uses: YosysHQ/setup-oss-cad-suite@v2
- uses: YosysHQ/setup-oss-cad-suite@v3
with:
github-token: ${{ secrets.GITHUB_TOKEN }}
- name: Prepare formal tests