Skip to content

Actions: riscv/sail-riscv

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4,862 workflow runs
4,862 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Publish test results Publish test results #2725: completed by github-merge-queue bot
June 20, 2025 12:41 15s
June 20, 2025 12:41 15s
Improve typing of division and modulo Build and test Lean backend #375: Pull request #1082 opened by Timmmm
June 20, 2025 12:33 6m 48s Timmmm:user/timh/division_types
Timmmm:user/timh/division_types
June 20, 2025 12:33 6m 48s
Improve typing of division and modulo CI #3292: Pull request #1082 opened by Timmmm
June 20, 2025 12:33 14m 2s Timmmm:user/timh/division_types
Timmmm:user/timh/division_types
June 20, 2025 12:33 14m 2s
Use to_bits_truncate in the M extension CI #3291: Pull request #1081 opened by Timmmm
June 20, 2025 12:23 21m 42s Timmmm:user/timh/m_cleanup
Timmmm:user/timh/m_cleanup
June 20, 2025 12:23 21m 42s
Use to_bits_truncate in the M extension Build and test Lean backend #374: Pull request #1081 opened by Timmmm
June 20, 2025 12:23 7m 36s Timmmm:user/timh/m_cleanup
Timmmm:user/timh/m_cleanup
June 20, 2025 12:23 7m 36s
Publish test results Publish test results #2724: completed by github-merge-queue bot
June 20, 2025 12:12 12s
June 20, 2025 12:12 12s
Rename some variables in the M extension (#1079) Build and test Lean backend #373: Commit 197a306 pushed by github-merge-queue bot
June 20, 2025 12:11 6m 44s master
master
June 20, 2025 12:11 6m 44s
Rename some variables in the M extension (#1079) CI #3290: Commit 197a306 pushed by github-merge-queue bot
June 20, 2025 12:11 30m 17s master
master
June 20, 2025 12:11 30m 17s
Publish test results Publish test results #2723: completed by Timmmm
June 20, 2025 12:11 17s
June 20, 2025 12:11 17s
Publish test results Publish test results #2722: completed by pmundkur
June 20, 2025 11:50 23s
June 20, 2025 11:50 23s
Rename some variables in the M extension (#1079) CI #3289: Commit 197a306 pushed by github-merge-queue bot
June 20, 2025 11:46 26m 25s gh-readonly-queue/master/pr-1079-dc1e705bc23ccf96c8c68373458da4a5d7bf1ede
gh-readonly-queue/master/pr-1079-dc1e705bc23ccf96c8c68373458da4a5d7bf1ede
June 20, 2025 11:46 26m 25s
Rename some variables in the M extension (#1079) Build and test Lean backend #372: Commit 197a306 pushed by github-merge-queue bot
June 20, 2025 11:46 7m 38s gh-readonly-queue/master/pr-1079-dc1e705bc23ccf96c8c68373458da4a5d7bf1ede
gh-readonly-queue/master/pr-1079-dc1e705bc23ccf96c8c68373458da4a5d7bf1ede
June 20, 2025 11:46 7m 38s
CI CI #3288: Merge group checks requested
June 20, 2025 11:46 24m 33s
June 20, 2025 11:46 24m 33s
Publish test results Publish test results #2721: completed by pmundkur
June 20, 2025 11:36 19s
June 20, 2025 11:36 19s
Fix a few issues in the vset{i}vl{i} instructions. CI #3287: Pull request #1051 synchronize by pmundkur
June 20, 2025 11:34 15m 58s pmundkur:fix_vsetvl
pmundkur:fix_vsetvl
June 20, 2025 11:34 15m 58s
Fix a few issues in the vset{i}vl{i} instructions. Build and test Lean backend #371: Pull request #1051 synchronize by pmundkur
June 20, 2025 11:34 6m 52s pmundkur:fix_vsetvl
pmundkur:fix_vsetvl
June 20, 2025 11:34 6m 52s
Fix a bug in clint_dispatch(). Build and test Lean backend #370: Pull request #1078 synchronize by pmundkur
June 20, 2025 11:19 6m 53s pmundkur:fix_clint_mip.sti
pmundkur:fix_clint_mip.sti
June 20, 2025 11:19 6m 53s
Fix a bug in clint_dispatch(). CI #3286: Pull request #1078 synchronize by pmundkur
June 20, 2025 11:19 16m 51s pmundkur:fix_clint_mip.sti
pmundkur:fix_clint_mip.sti
June 20, 2025 11:19 16m 51s
Publish test results Publish test results #2720: completed by trdthg
June 20, 2025 11:00 24s
June 20, 2025 11:00 24s
Add VU and VS privilege level CI #3285: Pull request #1067 synchronize by trdthg
June 20, 2025 10:44 15m 50s trdthg:h2-v2
trdthg:h2-v2
June 20, 2025 10:44 15m 50s
Add VU and VS privilege level Build and test Lean backend #369: Pull request #1067 synchronize by trdthg
June 20, 2025 10:44 7m 10s trdthg:h2-v2
trdthg:h2-v2
June 20, 2025 10:44 7m 10s
Publish test results Publish test results #2719: completed by trdthg
June 20, 2025 09:55 20s
June 20, 2025 09:55 20s
Add VU and VS privilege level Build and test Lean backend #368: Pull request #1067 synchronize by trdthg
June 20, 2025 09:35 6m 55s trdthg:h2-v2
trdthg:h2-v2
June 20, 2025 09:35 6m 55s
Add VU and VS privilege level CI #3284: Pull request #1067 synchronize by trdthg
June 20, 2025 09:35 20m 19s trdthg:h2-v2
trdthg:h2-v2
June 20, 2025 09:35 20m 19s
Publish test results Publish test results #2718: completed by trdthg
June 20, 2025 09:29 14s
June 20, 2025 09:29 14s