Workflow runs · CTSRD-CHERI/sail-riscv · GitHub

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

43 workflow runs

43 workflow runs

Publish test results Publish test results #22: completed by francislaus

13s

13s

Fixed reporting of compressed instructions CI #21: Commit b5915ee pushed by francislaus

41s zcheri-toooba-compare

zcheri-toooba-compare

41s

Publish test results Publish test results #21: completed by francislaus

13s

13s

Disable PMA checks with TestRIG CI #20: Commit 8a91f88 pushed by francislaus

42s zcheri-toooba-compare

zcheri-toooba-compare

42s

Publish test results Publish test results #20: completed by francislaus

14s

14s

Added fixes to compare against Toooba CI #19: Pull request #2 opened by francislaus

39s faf28-additions

faf28-additions

39s

Publish test results Publish test results #19: completed by francislaus

12s

12s

Added hints fix CI #18: Commit 72dcf55 pushed by francislaus

47s faf28-additions

faf28-additions

47s

Publish test results Publish test results #18: completed by PeterRugg

14s

14s

Publish test results Publish test results #17: completed by PeterRugg

15s

15s

Update support file for Rocq CI #17: Commit 1b5c552 pushed by PeterRugg

7s testrig

testrig

7s

Publish test results Publish test results #16: completed by bacam

11s

11s

Updates to support Rocq output for sail-cheri-riscv CI #16: Pull request #1 opened by bacam

8s bacam:ctsrd-rocq-fixes

bacam:ctsrd-rocq-fixes

8s

Publish test results Publish test results #15: completed by PeterRugg

17s

17s

Disable some features not supported by Toooba CI #15: Commit 3ce102e pushed by PeterRugg

33s zcheri-toooba-compare

zcheri-toooba-compare

33s

Publish test results Publish test results #14: completed by PeterRugg

15s

15s

Fix setting of mtval CI #14: Commit f4932ac pushed by PeterRugg

40s zcheri-toooba-compare

zcheri-toooba-compare

40s

Publish test results Publish test results #13: completed by PeterRugg

14s

14s

Fix masked legalisation of xtvec CI #13: Commit 186abf5 pushed by PeterRugg

40s zcheri-toooba-compare

zcheri-toooba-compare

40s

Publish test results Publish test results #12: completed by PeterRugg

13s

13s

Publish test results Publish test results #11: completed by PeterRugg

13s

13s

Fix out-of-range xcause length CI #12: Commit 44c7a9b pushed by PeterRugg

38s zcheri-0.9.3

zcheri-0.9.3

38s

Mask mode on SATP writes CI #11: Commit 1fda4b9 pushed by PeterRugg

35s zcheri-toooba-compare

zcheri-toooba-compare

35s

Publish test results Publish test results #10: completed by PeterRugg

12s

12s

Fix resets CI #10: Commit 9479bf4 pushed by PeterRugg

37s zcheri-0.9.3

zcheri-0.9.3

37s