Skip to content

Merge pull request #66 from CTSRD-CHERI/force-rvfi-v1 #64

Merge pull request #66 from CTSRD-CHERI/force-rvfi-v1

Merge pull request #66 from CTSRD-CHERI/force-rvfi-v1 #64

Annotations

11 warnings

Build the QuickCheck Verification Engine

succeeded Jan 21, 2025 in 4m 17s
Set up job
1s
Run actions/checkout@v4
0s
Run haskell-actions/setup@v2
2m 10s
Install dependencies
1m 48s
Build
15s
Post Run actions/checkout@v4
0s
Complete job
0s