GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-11-29 11:02:13 +03:00
Code Issues Projects Releases Wiki Activity

ci: Build and test macaw-x86-syntax

Browse Source
This commit is contained in:
Langston Barrett 2024-08-20 10:19:16 -04:00
parent 3dfc22bf41
commit b932885faf
2 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
.github/workflows/ci.yaml vendored
View File

@ -107,6 +107,12 @@ jobs:
- name: Test macaw-x86
run: cabal test pkg:macaw-x86
- name: Build macaw-x86-syntax
run: cabal build pkg:macaw-x86-syntax
- name: Test macaw-x86-syntax
run: cabal test pkg:macaw-x86-syntax
- name: Test macaw-x86-symbolic
if: runner.os == 'Linux'
run: cabal test pkg:macaw-x86-symbolic

1
cabal.project.dist
View File

@ -6,6 +6,7 @@ packages: base/
macaw-ppc-symbolic/
macaw-riscv/
macaw-riscv-symbolic/
macaw-x86-syntax/
x86/
symbolic/
symbolic-syntax/