Skip to content

Actions: riscv/riscv-cheri

Actions

pre-commit

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pre-commit.yml
1,123 workflow runs
1,123 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Capabilities are little endian pre-commit #126: Pull request #119 opened by sorear
February 15, 2024 20:14 17s sorear:cap-endian
sorear:cap-endian
February 15, 2024 20:14 17s
Clarify csrr[s|c]i write behavior when imm=0 pre-commit #125: Pull request #117 synchronize by andresag01
February 15, 2024 15:23 18s andresag01:clarify-csrrXi
andresag01:clarify-csrrXi
February 15, 2024 15:23 18s
Clarify csrr[s|c]i write behavior when imm=0 pre-commit #124: Pull request #117 opened by andresag01
February 15, 2024 15:14 23s andresag01:clarify-csrrXi
andresag01:clarify-csrrXi
February 15, 2024 15:14 23s
Fix the auipcc reachability challenge pre-commit #123: Pull request #116 synchronize by PeterRugg
February 15, 2024 15:03 19s CTSRD-CHERI:auipcc-reachability
CTSRD-CHERI:auipcc-reachability
February 15, 2024 15:03 19s
Fix issue 90 pre-commit #122: Pull request #113 synchronize by tariqkurd-repo
February 15, 2024 13:53 18s tariqkurd-repo:fix-issue-90
tariqkurd-repo:fix-issue-90
February 15, 2024 13:53 18s
Fix issue 90 pre-commit #121: Pull request #113 synchronize by tariqkurd-repo
February 15, 2024 13:48 16s tariqkurd-repo:fix-issue-90
tariqkurd-repo:fix-issue-90
February 15, 2024 13:48 16s
Fix the auipcc reachability challenge pre-commit #120: Pull request #116 opened by PeterRugg
February 15, 2024 12:33 23s CTSRD-CHERI:auipcc-reachability
CTSRD-CHERI:auipcc-reachability
February 15, 2024 12:33 23s
Fix bit number ranges for capability bounds encodings pre-commit #119: Pull request #115 opened by veselypeta
February 15, 2024 10:04 21s veselypeta:petr/fix-bounds-numbering
veselypeta:petr/fix-bounds-numbering
February 15, 2024 10:04 21s
Fix issue 90 pre-commit #118: Pull request #113 synchronize by tariqkurd-repo
February 15, 2024 09:39 17s tariqkurd-repo:fix-issue-90
tariqkurd-repo:fix-issue-90
February 15, 2024 09:39 17s
PCC does not grant store permission before PTE checks (#111) pre-commit #117: Commit 3d8d4fd pushed by andresag01
February 15, 2024 08:07 19s main
main
February 15, 2024 08:07 19s
Clarify that sealing check is not needed on pcc (#112) pre-commit #116: Commit a271449 pushed by andresag01
February 15, 2024 08:07 18s main
main
February 15, 2024 08:07 18s
Clarify that sealing check is not needed on pcc pre-commit #115: Pull request #112 synchronize by andresag01
February 15, 2024 08:02 18s andresag01:fix-dpcc-unsealing
andresag01:fix-dpcc-unsealing
February 15, 2024 08:02 18s
Fix undefined reference pre-commit #114: Commit d53f973 pushed by arichardson
February 14, 2024 19:44 27s main
main
February 14, 2024 19:44 27s
Clarify that sealing check is not needed on pcc pre-commit #113: Pull request #112 synchronize by andresag01
February 14, 2024 17:06 16s andresag01:fix-dpcc-unsealing
andresag01:fix-dpcc-unsealing
February 14, 2024 17:06 16s
Fix issue 90 pre-commit #112: Pull request #113 synchronize by tariqkurd-repo
February 14, 2024 15:27 21s tariqkurd-repo:fix-issue-90
tariqkurd-repo:fix-issue-90
February 14, 2024 15:27 21s
Fix issue 90 pre-commit #111: Pull request #113 opened by tariqkurd-repo
February 14, 2024 15:22 20s tariqkurd-repo:fix-issue-90
tariqkurd-repo:fix-issue-90
February 14, 2024 15:22 20s
Rename cheri insns (#109) pre-commit #110: Commit 50c0cef pushed by tariqkurd-repo
February 14, 2024 11:51 17s main
main
February 14, 2024 11:51 17s
Rename cheri insns pre-commit #109: Pull request #109 synchronize by andresag01
February 14, 2024 11:45 19s tariqkurd-repo:rename_cheri_insns
tariqkurd-repo:rename_cheri_insns
February 14, 2024 11:45 19s
Clarify that sealing check is not needed on pcc pre-commit #108: Pull request #112 opened by andresag01
February 14, 2024 09:28 20s andresag01:fix-dpcc-unsealing
andresag01:fix-dpcc-unsealing
February 14, 2024 09:28 20s
PCC does not grant store permission before PTE checks pre-commit #107: Pull request #111 synchronize by andresag01
February 14, 2024 09:12 24s andresag01:fix-pcc-in-pte
andresag01:fix-pcc-in-pte
February 14, 2024 09:12 24s
Fix contradictory wording in CSRR* pre-commit #106: Commit 1969ae0 pushed by arichardson
February 14, 2024 07:41 21s main
main
February 14, 2024 07:41 21s
Rename cheri insns pre-commit #105: Pull request #109 synchronize by tariqkurd-repo
February 13, 2024 16:45 16s tariqkurd-repo:rename_cheri_insns
tariqkurd-repo:rename_cheri_insns
February 13, 2024 16:45 16s
Rename cheri insns pre-commit #104: Pull request #109 synchronize by tariqkurd-repo
February 13, 2024 16:15 22s tariqkurd-repo:rename_cheri_insns
tariqkurd-repo:rename_cheri_insns
February 13, 2024 16:15 22s
Rename cheri insns pre-commit #103: Pull request #109 synchronize by tariqkurd-repo
February 13, 2024 11:21 22s tariqkurd-repo:rename_cheri_insns
tariqkurd-repo:rename_cheri_insns
February 13, 2024 11:21 22s
Rename cheri insns pre-commit #102: Pull request #109 synchronize by tariqkurd-repo
February 13, 2024 10:45 17s tariqkurd-repo:rename_cheri_insns
tariqkurd-repo:rename_cheri_insns
February 13, 2024 10:45 17s
ProTip! You can narrow down the results and go further in time using created:<2024-02-13 or the other filters available.