Skip to content

Actions: Timmmm/sail-riscv

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
870 workflow runs
870 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Publish test results
Publish test results #472: completed by Timmmm
June 20, 2025 19:59 23s
June 20, 2025 19:59 23s
Remove default.json and use RV64D by default directly
Build and test Lean backend #52: Commit a827356 pushed by Timmmm
June 20, 2025 19:47 7m 49s user/timh/xlen_flen
June 20, 2025 19:47 7m 49s
June 20, 2025 19:47 12m 53s
Publish test results
Publish test results #471: completed by Timmmm
June 20, 2025 12:47 11s
June 20, 2025 12:47 11s
Publish test results
Publish test results #470: completed by Timmmm
June 20, 2025 12:39 12s
June 20, 2025 12:39 12s
Improve typing of division and modulo
CI #470: Commit 57d1a0a pushed by Timmmm
June 20, 2025 12:33 13m 42s user/timh/division_types
June 20, 2025 12:33 13m 42s
Improve typing of division and modulo
Build and test Lean backend #51: Commit 57d1a0a pushed by Timmmm
June 20, 2025 12:33 12m 40s user/timh/division_types
June 20, 2025 12:33 12m 40s
Use to_bits_truncate in the M extension
Build and test Lean backend #50: Commit 31c563d pushed by Timmmm
June 20, 2025 12:23 14m 7s user/timh/m_cleanup
June 20, 2025 12:23 14m 7s
Use to_bits_truncate in the M extension
CI #469: Commit 31c563d pushed by Timmmm
June 20, 2025 12:23 16m 4s user/timh/m_cleanup
June 20, 2025 12:23 16m 4s
Publish test results
Publish test results #469: completed by Timmmm
June 20, 2025 08:38 15s
June 20, 2025 08:38 15s
Rename some variables in the M extension
Build and test Lean backend #49: Commit 863dd3d pushed by Timmmm
June 20, 2025 08:24 12m 55s user/timh/rename_m_vars
June 20, 2025 08:24 12m 55s
Rename some variables in the M extension
CI #468: Commit 863dd3d pushed by Timmmm
June 20, 2025 08:24 14m 29s user/timh/rename_m_vars
June 20, 2025 08:24 14m 29s
Publish test results
Publish test results #468: completed by Timmmm
June 19, 2025 15:53 16s
June 19, 2025 15:53 16s
Publish test results
Publish test results #467: completed by Timmmm
June 19, 2025 15:52 15s
June 19, 2025 15:52 15s
Publish test results
Publish test results #466: completed by Timmmm
June 19, 2025 15:37 13s
June 19, 2025 15:37 13s
Publish test results
Publish test results #465: completed by Timmmm
June 19, 2025 15:37 12s
June 19, 2025 15:37 12s
Invert signed bool for M extension
Build and test Lean backend #48: Commit d58d5dd pushed by Timmmm
June 19, 2025 15:31 13m 17s user/timh/invert_m_signedness
June 19, 2025 15:31 13m 17s
Invert signed bool for M extension
CI #467: Commit d58d5dd pushed by Timmmm
June 19, 2025 15:31 21m 12s user/timh/invert_m_signedness
June 19, 2025 15:31 21m 12s
Update model/riscv_insts_zca.sail
Build and test Lean backend #47: Commit 69af47e pushed by Timmmm
June 19, 2025 15:22 7m 6s user/timh/remove_compressed_hints
June 19, 2025 15:22 7m 6s
Update model/riscv_insts_zca.sail
Build and test Lean backend #46: Commit e55d0f9 pushed by Timmmm
June 19, 2025 15:22 7m 29s user/timh/remove_compressed_hints
June 19, 2025 15:22 7m 29s
Update model/riscv_insts_zca.sail
Build and test Lean backend #45: Commit 795f439 pushed by Timmmm
June 19, 2025 15:21 7m 4s user/timh/remove_compressed_hints
June 19, 2025 15:21 7m 4s
Publish test results
Publish test results #464: completed by Timmmm
June 19, 2025 09:55 12s
June 19, 2025 09:55 12s