Skip to content

Actions: jordancarlin/sail-riscv

Actions

Build and test Lean backend

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
compile-lean.yml
30 workflow runs
30 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add jq as a dependency for release CI Build and test Lean backend #30: Commit 8c5116c pushed by jordancarlin
July 19, 2025 22:37 27m 35s v0.0.0-test8
v0.0.0-test8
July 19, 2025 22:37 27m 35s
Add jq as a dependency for release CI Build and test Lean backend #29: Commit 8c5116c pushed by jordancarlin
July 19, 2025 19:30 28m 22s master
master
July 19, 2025 19:30 28m 22s
Add jq as a dependency for release CI Build and test Lean backend #28: Commit 8921600 pushed by jordancarlin
July 19, 2025 18:43 27m 54s master
master
July 19, 2025 18:43 27m 54s
Add git safe directory so git describe works in release container Build and test Lean backend #27: Commit ff556d1 pushed by jordancarlin
July 19, 2025 17:48 29m 26s master
master
July 19, 2025 17:48 29m 26s
Add git safe directory so git describe works in release container Build and test Lean backend #26: Commit 188a7f6 pushed by jordancarlin
July 19, 2025 17:44 26m 37s master
master
July 19, 2025 17:44 26m 37s
Update release workflow for new output names Build and test Lean backend #25: Commit 6d5db64 pushed by jordancarlin
July 19, 2025 17:39 27m 36s master
master
July 19, 2025 17:39 27m 36s
Replace selected uses of "size" with "width" for consistency. (#1138) Build and test Lean backend #24: Commit a2bba0f pushed by jordancarlin
July 19, 2025 17:10 27m 46s master
master
July 19, 2025 17:10 27m 46s
Allow LMUL=8 for widening reduction instruction (#1141) Build and test Lean backend #23: Commit 80878d1 pushed by jordancarlin
July 15, 2025 15:01 35m 1s master
master
July 15, 2025 15:01 35m 1s
Update issue templates Build and test Lean backend #22: Pull request #3 opened by jordancarlin
July 15, 2025 15:00 34m 13s issue-templates
issue-templates
July 15, 2025 15:00 34m 13s
Fix encoding for ZBA_RTYPEUW` Build and test Lean backend #21: Commit 63a7afd pushed by jordancarlin
July 9, 2025 01:10 33m 59s fix_shadd_uw
fix_shadd_uw
July 9, 2025 01:10 33m 59s
Rename ast to instruction Build and test Lean backend #20: Commit d24f4f7 pushed by jordancarlin
July 2, 2025 06:00 28m 9s ast_rename
ast_rename
July 2, 2025 06:00 28m 9s
Support s0 and fp for x8 ABI register name Build and test Lean backend #19: Commit 92014b8 pushed by jordancarlin
June 29, 2025 01:10 34m 45s s0_fp
s0_fp
June 29, 2025 01:10 34m 45s
Rename ast to instruction Build and test Lean backend #18: Commit df604cc pushed by jordancarlin
June 29, 2025 01:02 34m 19s ast_rename
ast_rename
June 29, 2025 01:02 34m 19s
Fix vector load/store whole registers instructions assembly Build and test Lean backend #17: Commit 09442ad pushed by jordancarlin
June 23, 2025 03:19 6m 55s vlre
vlre
June 23, 2025 03:19 6m 55s
Fix vector load/store whole registers instructions assembly Build and test Lean backend #16: Commit 1bb4bdd pushed by jordancarlin
June 23, 2025 03:11 13m 0s vlre
vlre
June 23, 2025 03:11 13m 0s
Fix vector load/store whole registers instructions assembly... Build and test Lean backend #15: Commit bb9062c pushed by jordancarlin
June 23, 2025 03:09 13m 55s vlre
vlre
June 23, 2025 03:09 13m 55s
Fix coverage collection Build and test Lean backend #14: Commit 8628533 pushed by jordancarlin
June 22, 2025 21:57 13m 13s sailcov
sailcov
June 22, 2025 21:57 13m 13s
Fix scaling of c.flwsp immediate in assembly Build and test Lean backend #13: Commit 4b3894b pushed by jordancarlin
June 21, 2025 20:25 14m 4s flwsp_scaling
flwsp_scaling
June 21, 2025 20:25 14m 4s
Remove aq/rl from base load/store instructions Build and test Lean backend #12: Commit d253b0c pushed by Timmmm
June 12, 2025 08:18 29m 5s aqrl
aqrl
June 12, 2025 08:18 29m 5s
Add Zkt and Zvkt extensions for device tree Build and test Lean backend #11: Commit 676389d pushed by jordancarlin
June 11, 2025 01:43 36m 45s zkt
zkt
June 11, 2025 01:43 36m 45s
Remove aq/rl from base load/store instructions Build and test Lean backend #10: Commit a739827 pushed by jordancarlin
June 11, 2025 01:30 36m 2s aqrl
aqrl
June 11, 2025 01:30 36m 2s
Remove aq/rl from base load/store instructions Build and test Lean backend #9: Commit cd95a0c pushed by jordancarlin
June 11, 2025 01:28 37m 5s aqrl
aqrl
June 11, 2025 01:28 37m 5s
Add 0x prefix to vector callback printed value Build and test Lean backend #8: Commit 720979c pushed by jordancarlin
June 6, 2025 06:16 36m 40s vector_callback_prefix
vector_callback_prefix
June 6, 2025 06:16 36m 40s
Use dedicated functions for rev8, brev8, vrev8, and vbrev8 (#… Build and test Lean backend #7: Commit 61b93a3 pushed by jordancarlin
June 4, 2025 04:37 39m 16s dev
dev
June 4, 2025 04:37 39m 16s
Working on rocq Build and test Lean backend #6: Commit b829afd pushed by jordancarlin
May 30, 2025 19:04 35m 43s ci_refactor
ci_refactor
May 30, 2025 19:04 35m 43s