Skip to content

Actions: riscv/sail-riscv

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
compile.yml
1,077 workflow runs
1,077 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix minstreth behaviour CI #1977: Pull request #760 opened by Timmmm
February 27, 2025 12:11 6m 21s Timmmm:user/timh/minstreth_fix
Timmmm:user/timh/minstreth_fix
February 27, 2025 12:11 6m 21s
Refactor instruction retire and stepper CI #1976: Pull request #755 synchronize by pmundkur
February 27, 2025 12:10 6m 52s pmundkur:refactor_step_take2
pmundkur:refactor_step_take2
February 27, 2025 12:10 6m 52s
Refactor instruction retire and stepper CI #1975: Pull request #755 synchronize by pmundkur
February 27, 2025 12:03 6m 28s pmundkur:refactor_step_take2
pmundkur:refactor_step_take2
February 27, 2025 12:03 6m 28s
Lean: improve handwritten support CI #1974: Commit 32587ca pushed by Timmmm
February 27, 2025 10:38 6m 17s master
master
February 27, 2025 10:38 6m 17s
Lean: improve handwritten support CI #1973: Pull request #754 synchronize by ineol
February 27, 2025 10:27 6m 39s ineol:lean-handwritten-2
ineol:lean-handwritten-2
February 27, 2025 10:27 6m 39s
Add first party C tests using Zig for cross-compilation CI #1972: Pull request #759 opened by Timmmm
February 26, 2025 22:30 40s Timmmm:user/timh/zig_tests_c_only
Timmmm:user/timh/zig_tests_c_only
February 26, 2025 22:30 40s
Replace ad-hoc model configuration with Sail-native configuration CI #1971: Pull request #758 synchronize by Alasdair
February 26, 2025 18:41 39s Alasdair:sail_config
Alasdair:sail_config
February 26, 2025 18:41 39s
Replace ad-hoc model configuration with Sail-native configuration CI #1970: Pull request #758 opened by Alasdair
February 26, 2025 18:40 35s Alasdair:sail_config
Alasdair:sail_config
February 26, 2025 18:40 35s
Add support for Zcmt extension CI #1969: Pull request #757 synchronize by nadime15
February 26, 2025 17:19 Action required nadime15:ext_zcmt
nadime15:ext_zcmt
February 26, 2025 17:19 Action required
Lean: improve handwritten support CI #1968: Pull request #754 synchronize by ineol
February 26, 2025 15:35 6m 19s ineol:lean-handwritten-2
ineol:lean-handwritten-2
February 26, 2025 15:35 6m 19s
Lean: improve handwritten support CI #1967: Pull request #754 synchronize by ineol
February 26, 2025 15:31 6m 30s ineol:lean-handwritten-2
ineol:lean-handwritten-2
February 26, 2025 15:31 6m 30s
Add support for Zcmt extension CI #1966: Pull request #757 opened by nadime15
February 26, 2025 15:15 43s nadime15:ext_zcmt
nadime15:ext_zcmt
February 26, 2025 15:15 43s
Added support of Smepmp CI #1965: Pull request #601 synchronize by KotorinMinami
February 26, 2025 06:40 6m 51s KotorinMinami:smepmp
KotorinMinami:smepmp
February 26, 2025 06:40 6m 51s
Refactor instruction retire and stepper CI #1964: Pull request #755 opened by pmundkur
February 25, 2025 17:27 7m 10s pmundkur:refactor_step_take2
pmundkur:refactor_step_take2
February 25, 2025 17:27 7m 10s
PTEs are invalid if reserved bits are non-zero CI #1963: Pull request #677 synchronize by Timmmm
February 25, 2025 16:18 6m 46s Timmmm:user/timh/priv_unpriv_spec_versions
Timmmm:user/timh/priv_unpriv_spec_versions
February 25, 2025 16:18 6m 46s
Simplify PMP code CI #1962: Commit 8387b14 pushed by Timmmm
February 25, 2025 15:22 7m 7s master
master
February 25, 2025 15:22 7m 7s
store total_insns and insn_limit as uint64_t, not int CI #1961: Pull request #748 synchronize by cfbolz
February 25, 2025 14:49 7m 24s cfbolz:instruction-limit-as-long
cfbolz:instruction-limit-as-long
February 25, 2025 14:49 7m 24s
Lean: improve handwritten support CI #1960: Pull request #754 synchronize by ineol
February 24, 2025 20:08 6m 52s ineol:lean-handwritten-2
ineol:lean-handwritten-2
February 24, 2025 20:08 6m 52s
Lean: improve handwritten support CI #1959: Pull request #754 opened by ineol
February 24, 2025 18:19 7m 3s ineol:lean-handwritten-2
ineol:lean-handwritten-2
February 24, 2025 18:19 7m 3s
Handwritten support for the Lean backend CI #1958: Commit 6edd3ef pushed by Timmmm
February 24, 2025 17:41 7m 1s master
master
February 24, 2025 17:41 7m 1s
Handwritten support for the Lean backend CI #1957: Pull request #749 synchronize by ineol
February 24, 2025 15:12 7m 0s ineol:lean-options
ineol:lean-options
February 24, 2025 15:12 7m 0s
Zvkned: add infrastructure for Zvkned CI #1956: Pull request #752 synchronize by KotorinMinami
February 24, 2025 14:56 6m 54s KotorinMinami:zvkned
KotorinMinami:zvkned
February 24, 2025 14:56 6m 54s
Handwritten support for the Lean backend CI #1955: Pull request #749 synchronize by ineol
February 24, 2025 11:51 Action required ineol:lean-options
ineol:lean-options
February 24, 2025 11:51 Action required
Handwritten support for the Lean backend CI #1954: Pull request #749 synchronize by javra
February 24, 2025 08:52 Action required ineol:lean-options
ineol:lean-options
February 24, 2025 08:52 Action required
Zvkned: add infrastructure for Zvkned CI #1953: Pull request #752 synchronize by KotorinMinami
February 24, 2025 07:09 7m 1s KotorinMinami:zvkned
KotorinMinami:zvkned
February 24, 2025 07:09 7m 1s