Skip to content

Actions: CTSRD-CHERI/sail-cheri-riscv

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
20 workflow runs
20 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add instructions for building Rocq definitions. CI #279: Commit bb07488 pushed by PeterRugg
5m 45s master
master
5m 45s
Move to more recent ubuntu runner CI #277: Commit 9c5f803 pushed by PeterRugg
39m 27s master
master
39m 27s
Move to more recent ubuntu runner CI #276: Pull request #97 opened by PeterRugg
21m 58s update-ubuntu-ci
update-ubuntu-ci
21m 58s
Move to more recent ubuntu runner CI #275: Commit 595c871 pushed by PeterRugg
26m 34s update-ubuntu-ci
update-ubuntu-ci
26m 34s
Updates for Rocq output CI #274: Commit fba0d91 pushed by PeterRugg
3s master
master
3s
Fixups to allow Coq output to build CI #273: Pull request #86 synchronize by bacam
2s bacam:coq-fixup
bacam:coq-fixup
2s
Bump sail-riscv CI #272: Commit d85eeef pushed by PeterRugg
5m 38s no-cre
no-cre
5m 38s
Legalise envcfg registers to match hardwired Toooba CI #271: Commit 4eb51a3 pushed by PeterRugg
4m 41s no-cre
no-cre
4m 41s
Include zifencei in Makefile CI #270: Commit 80ce828 pushed by PeterRugg
5m 14s no-cre
no-cre
5m 14s
Bump sail-riscv and remove set_Misa_C stub CI #269: Commit 74a9da1 pushed by PeterRugg
5m 26s master
master
5m 26s
Split modesw into cap and int versions CI #268: Commit aaefc44 pushed by PeterRugg
4m 58s no-cre
no-cre
4m 58s
Comment out tag-clearing reset for testrig CI #267: Commit 9641751 pushed by PeterRugg
5m 4s no-cre
no-cre
5m 4s
Fix submodule URL CI #266: Commit d36b1b1 pushed by PeterRugg
51s no-cre
no-cre
51s
Hardwire CRE to false for initial testrig bringup CI #265: Commit 8ff7051 pushed by PeterRugg
39s no-cre
no-cre
39s
Make lr/sc encdec mapping formatting consistent CI #264: Commit e66dd0a pushed by PeterRugg
50s zcheri
zcheri
50s
Bump sail-riscv CI #263: Commit 9a2c3ff pushed by PeterRugg
1m 6s zcheri
zcheri
1m 6s
CI CI #262: by PeterRugg
46s zcheri
zcheri
46s
Fixes for running with TestRIG CI #261: Commit 43d6ff7 pushed by PeterRugg
41s zcheri
zcheri
41s
Add bool for writing to destination reg to RVFI output CI #260: Pull request #61 synchronize by francislaus
5m 27s cclear_rvfi
cclear_rvfi
5m 27s
implemented bool for writing to destination register into the rvfi ou… CI #259: Commit 1b067f8 pushed by francislaus
5m 21s cclear_rvfi
cclear_rvfi
5m 21s