8000
Skip to content

Actions: riscv/sail-riscv

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Publish test results Publish test results #5678: completed by nadime15
26s
26s
Publish test results Publish test results #5677: completed by nadime15
19s
19s
Add support for the Pointer Masking extensions. Build and test Lean backend #2972: Pull request #969 synchronize by nadime15
16m 10s nadime15:ext_zpm
nadime15:ext_zpm
16m 10s
Add support for the Pointer Masking extensions. Run full tests #1902: Pull request #969 synchronize by nadime15
1s nadime15:ext_zpm
nadime15:ext_zpm
1s
Add support for the Pointer Masking extensions. CI #1830: Pull request #969 synchronize by nadime15
48m 32s nadime15:ext_zpm
nadime15:ext_zpm
48m 32s
Add support for the Pointer Masking extensions. Rocq #1503: Pull request #969 synchronize by nadime15
12m 2s nadime15:ext_zpm
nadime15:ext_zpm
12m 2s
Add support for the Pointer Masking extensions. Build and test Lean backend #2971: Pull request #969 synchronize by nadime15
17m 3s nadime15:ext_zpm
nadime15:ext_zpm
17m 3s
Add support for the Pointer Masking extensions. Run full tests #1901: Pull request #969 synchronize by nadime15
2s nadime15:ext_zpm
nadime15:ext_zpm
2s
Add support for the Pointer Masking extensions. Rocq #1502: Pull request #969 synchronize by nadime15
11m 43s nadime15:ext_zpm
nadime15:ext_zpm
11m 43s
Add support for the Pointer Masking extensions. CI #1829: Pull request #969 synchronize by nadime15
49m 7s nadime15:ext_zpm
nadime15:ext_zpm
49m 7s
Publish test results Publish test results #5676: completed by pmundkur
33s
33s
Publish test results Publish test results #5675: completed by nadime15
42s
42s
Ensure that the PMA validation for main memory applies to PMAs for main memory. Rocq #1501: Pull request #1648 synchronize by pmundkur
11m 55s pmundkur:pma_main_memory
pmundkur:pma_main_memory
11m 55s
Ensure that the PMA validation for main memory applies to PMAs for main memory. Build and test Lean backend #2970: Pull request #1648 synchronize by pmundkur
19m 58s pmundkur:pma_main_memory
pmundkur:pma_main_memory
19m 58s
Ensure that the PMA validation for main memory applies to PMAs for main memory. CI #1828: Pull request #1648 synchronize by pmundkur
47m 51s pmundkur:pma_main_memory
pmundkur:pma_main_memory
47m 51s
Ensure that the PMA validation for main memory applies to PMAs for main memory. Run full tests #1900: Pull request #1648 synchronize by pmundkur
2s pmundkur:pma_main_memory
pmundkur:pma_main_memory
2s
Ensure that the PMA validation for main memory applies to PMAs for main memory. Run full tests #1899: Pull request #1648 unlabeled by pmundkur
1s pmundkur:pma_main_memory
pmundkur:pma_main_memory
1s
Add support for Zcmt extension Run full tests #1898: Pull request #757 synchronize by nadime15
1s nadime15:ext_zcmt
nadime15:ext_zcmt
1s
Add support for Zcmt extension Build and test Lean backend #2969: Pull request #757 synchronize by nadime15
15m 57s nadime15:ext_zcmt
nadime15:ext_zcmt
15m 57s
Add support for Zcmt extension Rocq #1500: Pull request #757 synchronize by nadime15
12m 21s nadime15:ext_zcmt
nadime15:ext_zcmt
12m 21s
Add support for Zcmt extension CI #1827: Pull request #757 synchronize by nadime15
47m 9s nadime15:ext_zcmt
nadime15:ext_zcmt
47m 9s
Publish test results Publish test results #5674: completed by pmundkur
24s
24s
Introduce a Vector payload for memory accesses. Rocq #1499: Pull request #1655 opened by pmundkur
21m 18s pmundkur:scalar_vector_access
pmundkur:scalar_vector_access
21m 18s
Introduce a Vector payload for memory accesses. Build and test Lean backend #2968: Pull request #1655 opened by pmundkur
19m 44s pmundkur:scalar_vector_access
pmundkur:scalar_vector_access
19m 44s
Introduce a Vector payload for memory accesses. CI #1826: Pull request #1655 opened by pmundkur
47m 14s pmundkur:scalar_vector_access
pmundkur:scalar_vector_access
47m 14s
0